Undo/Redo

Stepping back and forward through edits, easy to promise and hard to get right once a tool has real data and many operations.

See every note on Undo/Redo.