My first year with a pond. I can see leaves are tough to keep out, now that fall is here. So far I have been scooping them out when floating. Tough to do with water lettuce on the surface. I also scoop them off the bottom but it stirs up all kinds of algae sediment and clouds the water for a day or two. Is there a downside to leaving the leaves on the bottom of the pond? Netting would be real pain to install and maintain.