And not only is the tree in the previous photo gone, but so are the damaging roots. (Our tree guy happened to be working on the house next door today, so he brought over his grinder and cut them out for us.)
We’re getting an entirely new patio poured, one that will also be substantially less muddy since the previous one (like most of the house) wasn’t done to code.