This is the first autumn for my pond and, of course, it's filling up with leaves. It's a wildlife pond, so no fish at all and no filter or water feature just plants to keep it healthy. I'm taking the approach that, with the best will in the world I'm never going to recover all the leaves that fall in the pond, so whilst I'll pick out any big ones and any day that it's particularly bad, I'm not going to worry about picking out all of the leaves. I presume that it's actually a good thing to let some fall in and sink to the bottom. Is this the correct approach?