Mailman plugin: cleanup