key action to hide hotkey window
Related to #7852 but much simpler: It would be good to have a "Hide Hotkey Window" action in the "Keys" settings of a profile. For example, I have a REPL running in a hotkey window and would like to be able to hide it with the ESC key.