[pwpwp]

Would be useful if this had a comparison with Emacs, which also resolves the GURQ.

[jefftk]

Emacs already implements exactly what they are proposing: an undo operation is just another action added to the chain of states, which can itself be undone.