A reader said he had heard of the practice of shredding leaves before to using them as mulch but wondered about the reason behind it. Was it just to make it easy to dispose of the leaves, since, shredded, the load would be more compact? Or was there some other benefit?