But, to note: There's another alternative that should mostly still work here, even in the absence of Ctrl: Alt-Backspace