Not helpful lol
If 9p.io not be a generous public service by an authority such as R. Cox, E. Quanstrom, or C. Forsyth who can be relied on to maintain it in perpetuity, should we maybe mirror it as a WWW site on github.io for safekeeping?