This really sucks, he was doing a great job as a core contributor. I’m not going to speculate on the why since it looks like internal drama between him and the team, but what shocks me is how sudden he left. He just finished and merged a big PR to rework the project manager UI a day before this tweet.