Kleinere Veränderungen, auch wenn sie zum Nachteil sind, sollten wir doch gerne in Kauf nehmen, Hauptsache die Seite wird weiter existieren.
Ansonsten setze dich doch mal mit dem User in Verbindung, bei dem die besagte Navi-Leite noch da ist, vielleicht nutzt er ja nen anderen Browser.
Bei IE und Firefox ist die Leiste nicht zu finden.