9p.io is the new sources as bell labs sources is down for good iirc. 

Cheers,
Sean

On Wednesday, September 19, 2018, Steve Simon <steve@quintile.net> wrote:
Hi all.

sources has not been accessible over 9p for a while. has it gone for good or does it just need a little love?

-Steve