Re: [tor-dev] Proposal status, with suggestions for fun stuff to do