Re: [tor-dev] How to integrate an external name resolver into Tor