I mean: I can understand that you want to delete this entry, but I
don't understand what it would mean to update it.I thought there might be some other mailing list or resource to replace the dead mailing list. Now I gather there isn't, as far as any of us know, so I think we should just delete it. Ok?
