Re: [tor-dev] Update of prop#250: Random Number Generation During Tor Voting