Re: [tor-dev] DNS proposal for Tor hidden services