@p I did some more digging before my back decided to make its complaints known, and found that 9ants and 9gridchan basically died, mycroftiv kinda disappeared from the internet, and all the plan9ants sources available are about 5 years old. I think tomorrow I’m going to cherry-pick what I can from it, to see if I can’t get hubfs and grio going.