> Another thing is, that despite Genera having been gone from the real world for over 30 years, it is still nonfree

Eh. That's a non-starter. The code may be closed, the concepts aren't. We've been reinventing the wheel for ages, and the Genera developer experience apparently isn't novel enough to be worthy of being reinvented.