The stump has been ground, and the city even came through and filled in the hole, and seeded it with grass. They did not seed in the area around the new tree that they had to dig out to plant it, which they did not completely mulch over, so their technique is a little inconsistent, but all in all, I’m counting this as a great experience getting a tree removed at no cost to me.
In other news, we have lost control of the lawn. I can’t mow it (I enjoy not having my eyes swell shut if I can help it), and BF’s been down with Covid. So of course, it reached peak growing in the past week. BF will get to it over the weekend, but it is definitely not our finest moment in lawncare.