It doesn't seem to have worked. I'm retired, so I don't run the Listserv server anymore, but I'm contacting those who do to see if they can figureout what happened. Meanwhile, I've also filtered him, so hope that works.
Jean Snow Assembler-List admin
