Re: [tor-dev] Review of Proposal 185: Directory caches without DirPort (was: Tor proposal status (December 2013))