[tor-dev] Proposal 205: Remove global client-side DNS caching