https://imanudin.net/2014/09/22/mailman-tips-how-to-migrate-mailman-mailing-list/