[severine]

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