cleanly undo all >>> deletions (while retaining two, minor later edits on related lines)
(#526)