History: undo, restart, etc.