Hi, I haven't looked for a while, but http://plan9.bell-labs.com has gone, and http://plan9.bell-labs.com/sources/ is broken - /usr/web/plan9/sources.html has disappeared from the web server.
Is there anyone left at the labs who might be able to fix at least the web access to sources, it does look rather sad. https://9p.io/plan9 is still available, thank goodness. -Steve