Diminish undo-tree correctly

Also add some commentary.