Mopping-up user login/logout paths