Why does ESC need to be pressed twice?

[rberenguel]

Happens both when serving "via ssh" and when "via tty". I thought it was a glitch in the ssh client, but looks like it isn't.

Investigate.