Re: [tor-dev] Registering special-use domain names of peer-to-peer name systems with IETF