Fix: Header: No profile link when anonymous

We had a link to /hello/anonymous when nobody
was logged in, which is unnecessary.