Too many leaves for “leave the leaves”? – Reddit Post

Is there such a thing? Should I mulch it with the mower, rake up some of the bulk, or just leave it all as is? There is currently grass (mostly) and moss (around tree) underneath. Thank you!