It occurs to me that (I think) this is the first time we've actually added anything to `domdiff()` that actually mutates the old tree. I'm pretty sure we don't have anything that relies on the old tree remaining untouched, but just wanted to point it out (and we might want to note that in the comments for `domdiff()`).