✏️ Editing: undo-manager.js