i have been doing housekeeping recently of the "Free GNU/Linux
distributions" list
https://www.gnu.org/distros/free-distros.html
the folks in the #proteanos-dev IRC channel have reached the consensus
that this project is abandoned