UndoManager: improve data structure doc