Nein, eigentlich war es anders.
Nachdem ich FF nach der WinNeuinstallation das erste Mal installiert hatte, wurden die besagten Dateien aus meinem Archiv entnommen.
Bei der zweiten De- und Neuinstallation, waren diese Dateien schon da, waren also nicht gelöscht worden.
Offenbar wurde erst nach der Neuinstallation die utilities.js als obsolet erkannt, denn vorher hatte sie ja noch gearbeitet.
Auch die css arbeiten einwandfrei.
