Re: [tor-dev] resolving DNS TXT records?