Re: [tor-dev] Proposal 185: Directory caches without DirPort