Re: [tor-dev] Paper on how DNS affects Tor's anonymity