[9fans] sources down?

[KADOTA Kyohei]

Hello fans.

currently, is sources.cs.bell-labs.com down?

on my plan9 box:

% ndb/dnsquery
> sources.cs.bell-labs.com
!dns: dns failure
> plan9.bell-labs.com
plan9.bell-labs.com ip  135.104.24.16