Re: Naughty undo-tree