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).
The entire cs.bell-labs.com domain is gone.And given that bell-labs.com has now outsourced their email to outlook.com, I think we can safely say the stake has well and truly been driven through the heart of this once grand institution.
--lyndon