:penguin: Make "Developer Tools" key binding match Chrome
Merge pull request #2492 from p-e-w/linux-dev-tools-keybinding

:penguin: Make "Developer Tools" key binding match Chrome