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