Re: [tor-dev] DuckDuckGo, iOS and other stuff.