In the "Exports" section of the CRM module it is possible to export existing contacts in two different types of files: CSV and JSON. Currently the export is for all the contacts in the form.
To export, click on the "Export" button. The download is saved in the "Exports" section of the CRM and expires after 5 days.
NB: this operation may take some time depending on the total amount of contacts to be exported. When the export is completed, you will receive an e-mail notification.