Issue 6941: Ctrl+Shift+C launches Firefox devtools' inspector instead of Firebug's one