Changed the tab selection paradigm: if we don't know which tab to select,
rather than arbitrarily selecting the home tab, the code now keeps the
previous tab selected. If we don't know which tab was selected previously,
no tab is selected (for instance if a user bookmarks an admin page or the
like and then revisits).