I decided two things:
To rename all the projects in the StarDust constellation (apart from StarDust). They are now HoLoTruth, HoLoMod, HoLoVal.
To start again from scratch with all the wikis. Even the re-structuring from one to four had not progressed very far, and I decided it would be easier to start again (without ruling out re-using or rehashing some of the material) than to try a piecemeal reorganisation of the material.
Also I have in mind the following shifts of emphasis:
I am keen on a bit of cosmic speculation to provide the largest possible context for these ideas, but I think many (perhaps most) of the people who might be interested in contributing to the core proof technologies won’t be interested, so I need to make HoLoTruth independent of it. Which is pretty much what I intended anyway.
I had not thought talk of neural nets and deep learning would be prominent, but I’m beginning to think that in the bigger picture its maybe should be (never mind that I know little about them).