> It's a lot more practical to navigate than Emacs' undo, too.

What the heck are you talking about?

Emacs undo is simply the State monad over a zipper into a persistent tree of buffer states.

I can't see how you could make it more practical?