At 10:29 11/01/2000 Wednesday, Donald Good wrote:
 >If the ISP is defunct, then anyone at that ISP is a bad address.  Then the
 >best is:
 >
 >quiet delete  *  *@defunct-ISP.com

and

quiet delete  *  *@*.defunct-ISP.com