[tor-commits] [torspec/master] Add proposal 205: Remove global client-side DNS caching