We must've spent at least 6 hours digging into the ground to dig out all the roots, so that our lime bush can go into that space in October.

We still haven't gotten rid of all the roots, but 80% of it is now done. The patio is a mess, covered in mounds of dirt.