[9fans] cannot find sources - have I missed somthing?

[Steve Simon]

Trying to do a pull today for the first time in ages and dns
doesn't seem to find sources.cs.bell-labs.com any more.

with the GPLing of plan9 as the labs plan9 distribution moved
to google code or sourceforge, and I missed the message?

-Steve