Export group members

You can now export the list of members in a group, in CSV format.