könnte es an der fehlenden Änderung in der config liegen, wenn er es per CSS Code gemacht hatte
Ja, aber eigentlich wird das doch auch im Profil und zwar in der prefs.js gespeichert, das lägt nahe, das die Anpassungen für Javascript im Installationsordner fehlen, lassen wir uns mal überraschen, was der uns TE vermeldet.