Thanks for plugin - very-very cool.
But can You add ability to change F1 hotkey to user defined hotkey. Developing in cloud IDE need that hotkey for their options.