I left that out in my post because I've moved on. I may seem a bit triggered, but that is because reading about this Void project possibly doing the same thing to someone else right here in such public view just brought back strong memories. What the void guys are doing is clearly wrong, they should fork with another name, with a separate website, github, mailing list, etc. If the users want to follow them they will. Performing a takeover, even if the guy really is missing, is underhanded. If you see any project doing this, it should set off alarm bells. And, the open source community as a whole should start digging into some of these projects and see if proper attribution is being given. Because, I can guarantee there's a percent of those of us who were erased for political or personal reasons. I made peace with my exit, others might still be clenching their fists over it.