A Sympa batch data exporter