Noticed a whole bunch of mushrooms in my garden- into the compost they go!

Hopefully this speeds up the decomp process. The late Floridian summer has gifted me gallons of water and lots and lots of greens for the compost. It’s not getting particularly hot though, so if y’all have advice on raising temps, please lemme know!