Search keyboard shortcut presentation is unsuitable for Linux

[oshadmi]

On Linux (I tried chrome and FF) the label (and tool-tip) of the keyboard shortcut should be Ctrl-K, not Command-K

BTW, the shortcut / is also working, which is great since it is the same as in GitHub, Gmail, and maybe others - consider promoting this shortcut to the label of the search button.