Yes, I saw that this was copied. What might be better would be for the remove_all_sessions function to have the option to not remove the current user's session, then this could be removed.