I don't know about that. The only one I've heard of is Jacob Appelbaum, and that was more of an ousting than him leaving. If anything, Tor seems to have gained

I don't know about that. The only one I've heard of is Jacob Appelbaum, and that was more of an ousting than him leaving. If anything, Tor seems to have gained quite an impressive board of directors recently: https://blog.torproject.org/blog/tor-project-elects-new-board%C2%A0-directors-wizard-bruce-schneier-joins-the-tor-project https://blog.torproject.org/blog/tor-project-elects-new-boar...