[galaxy-dev] [hg] galaxy 2468: Add remote_user logout anchor href configurati...