user.py: All user pages are now in the tab "users", so they show the user icon
    rather than no icon. This affects normal users as well as admins.
xhtml.py: Check the "admin-only" status of a tab after setting the page icon,
    so that normal users get the nice icon even if they aren't supposed to see
    the tab in the menu.