backend: Document undo