Idk, I haven't followed them closely

There are many devs, he said when he stepped down he wasn't doing much in the way of development anyway. If he was the sole dev that would be an issue but the project is made of many people. I hope he gets help, because he was in a very unhealthy state of mind for a while now and hopefully is focusing on being happy.