Apparently, Mailman does not allow an easy export of email contacts - [1]
You have to run a script to export members - [2]
It can handly many thousands of contacts - [3]
