Re: [tor-dev] Tor and DNS - draft finalized into proposal