Re: [tor-dev] Jacob Appelbaum's departure?