Komischerweise konnte ich bis letzte Wochen die Taste aber sehr wohl deaktivieren. Ursprünglich mit einem AddOn (was es ja kaum gegeben hätte, wenn es nicht irgendjemandem ebenfalls gestört hätte), später über einen Eintrag in about:config. Aber das steht ja alles schon in meinem letzten Post.
Das Addon ist eben kein Webextension. Ob es in Firefox eine solche geben kann, weiß ich nicht, glaube das aber angesichts anderer Restriktionen nicht. Die Einstellung devtools.toolbox.host mit dem Wert bottom (es sollte noch die möglichen Werte left, right und window geben, vgl. auch die Einstellung devtools.toolbox.previoushost) – ich hatte das zunächst überlesen – ist klar dafür gedacht, die aktuelle Position der Entwicklerwerkzeuge abzuspeichern, das hat nichts mit einer Tastenzuordnung zu tun. Wenn das funktionierte, um F12 zu deaktivieren, war das ein Bug, der jetzt in Fx 62 repariert worden ist.