Hallo beatovich,

Ob das ein Bug oder gewollt ist…?

Wenn Verhalten und Dokumentation divergieren, ist es auf jeden Fall ein Fehler.

Ist das denn so? Nein, die Doku weist ausdrücklich darauf hin:

Hinweis: Diese Einstellungen haben keine Auswirkung auf die Suche mit intelligenten Schlüsselwörtern in der Adressleiste.

Und diese wiederum lässt sich nicht abschalten. Aber faszinierend zu sehen, wie suggestiv und fehlleitend Mozilla hier vorgeht, dass selbst Fachleute wie du, in die Irre geführt werden können.

Gruss
Henry