Re: [tor-dev] Discussion about Tor Directory Authority Consensus Code