I could need an easy and side-effect-less way to clear the undo buffer.