@dosch hi! May I ask a question about this very topic? I just recently started tending to a garden, and I am unsure on this.
Does raking damage the grass?
Also, uhm, don't leaves left on the grass prevent it from growing well, for example by covering the sunlight?