Makes logged-in username in topbar linking to (#2291).
Authored by: jplang 2008-12-07
Parent: [r2108]
Child: [r2110]
