FishinRod thank you for that info.

I’ll continue dropping some trees.
Some in the pond and some out.

Butt first before fall, when the needles cone down in the masses, I’ll get a pond rake and go around the shorelines where most of the gunk is at currently.
Then start making an effort to prevent further shedding into the pond.