Issue 6941: Ctrl+shift+c launches Firefox devtools' inspector instead of Firebug's one