Yesterday Slashdot reported several of the major debian.org servers were cracked. Today there is zero traffic in debian-users, which normally carries 200 messages a day. Anyone heard anything new? Krum