new procmail! (was Re: Move to mailman3)