Re: [tor-dev] tor failing to resolve some dns records