“revert” is another name for Undo.