(Maintaining Undo): Remove obsolete function.