Re: [tor-dev] GSoC: Questions on allowing for more DNS request types