procmail.org future plans (was Re: does anyone find it ironic that smartlist mailing list is using Mailman? )