Named checkpoints

Named snapshots in the history stack with a restore menu.

Why not: Undo/redo already lets you traverse back to any prior state; checkpoints add UI complexity for marginal benefit over repeated Ctrl+Z.