Hallo Büssen, das sind die beiden aktuellen Dateiversionen. Der Wurm muss also woanders drin sein.
War ein paar Tage unterwegs, habe erst heute mich wieder kümmern können.
Also, in der userChrome.js die main.js angepasst, dann die config.js geändert.
Dann den Tipp von Andreas mit dem Eintrag "browser.compactmodus.show" auf true gesetzt.
Damit war die Kuh vom Eis - es wurde alles wieder wie gewünscht angezeigt.
Ich danke allen Tippgebern!!