As pointed out by a post that unfortunately got branched off into a separate thread - Eelco is not off the board despite the board statement back in May.
Lix ran into code that breaks HTTP protocol conventions, presumably for FlakeHub reasons. And as pointed out in another DetSys thread - despite all the claims, DetSys doesn’t actually help “flake stabilization” efforts. And reading Eelco’s “I don’t want to make version resolution” to announce that as a paid feature on his enterprise product is very questionable. And yes, I know that he said something a little different, but it really reads like a hard “no” consider Eelco popped up, made a concern, and disappeared completely, not bothering to comment when valid counter-arguments are brought up.
Hard doubt on any meaningful open-source contribution from DetSys, basically.