had pond 7 or 8 years and never was concerned about this . decided to ask as we did not put leave net covering pond this fall but have been dipping leaves out with a net . is it better to : 1] get every leave out 2] leave some leaves 3] leave all of them . by the way , lost a comet last week for first time in years , other than to predators , it had about four white lumps on it other three fish seem fine . i am CONCERNED about what will happen come spring have you any thoughts on this . . thanks once again . . . peace.........ps. yes , i did a search about leaves and found zero info .