Thanks. I use a bookmarklet but my friend appreciates it! That said, we can't find the option to set a keyboard shortcut (Ctrl+Shift+k opens the web console),

Thanks. I use a bookmarklet but my friend appreciates it! That said, we can't find the option to set a keyboard shortcut (Ctrl+Shift+k opens the web console), in Xubuntu 18.04, any clue as to why? edited typo