Re: [tor-dev] DNS resolution isolation in Tor Browser