I like this--it seems like it should go a long way towards guaranteeing that no matter how messed up the marks get, we'll always end up with the correct tree (we'll just end up with a lot of unmatched nodes and thus a lot of edits).