[tor-commits] [community/develop] Remove full mailing list address and include irc.oftc.net