Selvä vastaus ajankohtaiseen kysymykseen: Tarvitseeko lehtiä haravoida syksyllä?

Puutarhan kanssa kamppaileva joutuu syksyllä visaisen nelikentän eteen: Pitäisikö lehdet haravoida, jättää maahan, ajaa ruohonleikkurilla silpuksi vai haravoida vasta keväällä?