Ez kevésnek bizonyult. Valószínűleg FF hiba, mert a Szerkesztés menüponton belül bizony meg lehet változtatni az opciókat annak ellenére, hogy az about:config megváltoztatását letiltottam.