Hallo,
danke für die schnelle Antwort. Ja, es ist 81.1.2, hatte es nur nicht auf Anhieb gefunden.
Die fehlende Einstellung ist ein echtes Manko, für mich als Firefox-Fan (seit vielen, vielen Jahren, auch auf Desktop!) ein totaler Rückschritt. Über die "Begeisterung" bezüglich der neuen Version ist ja im Netz genug geschrieben worden...Schade, schade... mal sehen, was ich mache...