Huh, I didn't even know there was an ex command for undo. Neat. I imagine that would be a pretty easy PR to the ex-mode package, if you're up to it ;)