[MM3-users] Re: Flushing/syncing hyperkitty with mailman