[v2][auto-prompt] Change hotkey bindings

The key bindings for hiding/showing docs and help are inconvenient, especially on Macbooks. F1, F2, and F3 are often used for common system functions.

I'd like to use Control or Alt/Command instead, borrowing from existing shells and editors. Or provide a way to set the bindings in a configuration file.