Danke Euch beiden.
... , wenn ein Anwendungsfall für das Umschalten von browser.display.use_document_fonts via WebExtension besteht, muss das jemand Mozilla vorschlagen und wenn die das auch so sehen, ist eine Kleinigkeit, das für WebExtensions zu erlauben.
Wo kann man das Vorschlagen?
Auf https://bugzilla.mozilla.org/ scheint es nur um Bugs zu gehen und nicht um Vorschläge. Oder habe ich was übersehen?