Yes, I’ve been watching them and running their builds for… fifteen to twenty years now. It’s gone from an effort to reimplement a fairly prescient OS to basically an exercise in software archeology, since even achieving the project’s goals of a fully compatible reinplentation will be so severely limited compared to modern-day OSes it won’t be in any way ‘competitive’ with what is broadly available now, for free (free Linux tanks now have railguns as artillery, antigravity regulators instead of tracks, are built out of magical titanium foam alloys that can protect better while weighing less… you get the point). They have all the sci-fi tech of the erstwhile Batmobile and are on the lot with the keys in the ignition and a sign that reads “take me”.