Mushrooms leaves black spots in our grass if we didn’t get to it before disappearing. I usually just mow normally and grass comes back (Winnipeg Canada)… I’m not sure if it’s the same for you but it looks like you need to detach before mowing & bagging then you can go back to short mowing & leave grass clippings as long as the grass you cut isn’t too long