Clarify names & usage of the undo manager