only change user menu links if logged in
only change user menu links if logged in
only change user menu links if logged in
Merge branch 'develop' of github.com:DBCDK/bibdk_frontend into develop