Re: [tor-dev] Revising Proposal 140