[tor-dev] Tor and DNS