[tor-commits] [tor/master] Rename connection_or_remove_from_identity_map