[MM3-users] Flushing/syncing hyperkitty with mailman