GUI: don't use UndoManager PresentationName for the undo/redo action name.