So, nun hier auch meine persönliche Meinung: CorrectInfo, Ich gebe Dir völlig recht, dass die Bezeichnung "Hauptuni" nicht die offiziell korrekte Bezeichnung der Universität Wien ist. Da aber die Bezeichnung "Hauptuni" umgangssprachlich sehr gebräuchlich ist, ist es sicherlich wert, diese Information in den Lexikonartikel über die Universität Wien aufzunehmen.