[duncaen]

I'm sorry to hear about your experience with this, but this is simply not the case here. There is a big blog post about it, no one is trying to boot anyone out. Yes the article does not mention names, but its easy to find out and verify commit histories and social media accounts.

And just to be sure, I think most if not all of the contributors would be happy to hear back and know if everything is alright. The lead was a very central and active part of the community until over a year ago.

Forking the project would kill the original, all servers are payed for and maintained by currently active contributors. We can not simply pull the plug and ask users to switch, if we do this this has to happen over a long time period until we know there are not many users left and there is no significant amount of traffic on the repository mirrors.

[JdeBP]

Plus, of course, as you have pointed out, you have a non-trivial amount of goodwill built up for the name "void".