Oh, yeah, what about a dedicated key (à la Windows key) to boot the terminal? :P Or to make it more device agnostic, what about this combination with the power key: long-short-short-long ("X" in Morse code) :P :P