[9fans] (no subject)

[Steve Simon]

Hi,

I haven't tried for a few weeks but sources.cs.bell-labs.com
has gone (from DNS), I don't know about the server behind it
as I never kept a record of the IP address.

has the labs server gone for good? (RIP).

-Steve