Re: [tor-dev] Review of Proposal 147: Eliminate the need for v2 directories in generating v3 directories (was: Tor proposal status (December 2013))