Add shortcut to access docs search

[cpaczek]

Could you please add CTRL + K to open the search menu on the docs. I don't like having to scroll up and click the search icon

[DanRibbens]

We use / as the shortcut for search on the docs. Its shown on the docs right sidebar and on the search modal.