I respectfully disagree. He had enough involvement with the project (speaking about it publicly) that his departure on its own is sufficiently newsworthy.

(FWIW, I know a bunch of the Tor devs, Tor founders, and various anti-Jake people across areas. I've also known Jake for about 20y. I just think "person publicly associated with the org leaves" is newsworthy, since Tor itself is newsworthy.)