documenting the <Escape> shortcut