From the bottom of the postmortem repo:

> At the moment I am planing to make repos private and then delete them (will remove benchmarks as well), unless others suggest better ideas.

so it's not deleted. it's the last call for all the people that wanted to profit from his work to take up the mantle and drive the project

something anyone can do right now, I would add

but people just prefer directing the guy work