Hacker News Reader

Interesting, wonder what the reasoning was for folding ESC into F11. Did ctrl-[ work, too?

I'd venture that F1-F10 were more commonly used across various systems and F11+ were bonus keys.

It did, in fact. I have a VT220 on my desk at work.