Re: [tor-dev] Dealing with DNS requests by Tor unaware programs