The list INFO-VAX at IRLEARN has already been fixed;  on 86-11-05 at
17:16 GMT, in fact.