Either/or. If it's totally covered, I might rake or mulch mow it (mulch mow would be my preference to add the material back into the lawn).

If it's historically come through winter without a problem when covered, it's not necessary, however.

I'll rake half and try and gauge the best option for next year. Thank you for the reply.

That's a good approach. Depending on the particular susceptibility to fungal disease, you might want to rake it off next time. Mine is very susceptible to disease after being covered with anything.