I have an unusual problem.  I just deleted from two of my lists a
long-time troll.  The troll is arguing that by asking people to join the
list I have contractually obligated myself to carry all his messages,
bring him milk and cookies, the usual subscriber from hell crap.

Anyway, the troll is a published writer and I don't want the troll
arguing that retaining his posts constitutes copyright violation, etc.
The troll hasn't thought of that, of coure, but I have and he may think
of it in the future.

The lists are on a university listserv twelve states away that I have no
access to except through listserv.  However, my home system is a unix
variant, so through get and send I have access to all the normal unix
tools.  What I would like to know is if there is a way I could have a
script automatically process a getted archive and delete the troll's
posts.  Thinking through the steps, I imagine what it would involve is
getting the archive file, converting the file to a regular unix mail
file, cat the file through procmail to remove the troll's posts over to
/dev/null or a separate file, and then convert the file back from a
standard unix mail file into listserv archive format.  I know how to do
every step except the mail file/archive archive/mail file conversion.

Anyone already have a script to do that?

Thanks,

Jason