Also ich kenne niemanden, der mit Hauptuni das Hauptgebäude meint (kommt vermutlich auch vor), aber eher dient "Hauptuni" zur Unterscheidung von anderen Unis in Wien: "Ich studiere Wirtschaftswissenschaften". "An der WU?" "Nein, an der Hauptuni." Wie dem auch sei, die Wikipedia braucht sich nicht endlos über nicht korrekte umgangssprachliche Bezeichnungen auslassen, die Universität Wien heißt Universität Wien und das Hauptgebäude heißt Hauptgebäude. Von mir aus wäre ein kurzer Satz angemessen: "Umgangssprachlich wird manchmal die Bezeichnung 'Hauptuni' für die Universität Wien oder deren Hauptgebäude verwendet."