To export contacts to a CSV file, click on 'Contacts' in the menu on the left and then on 'Export' in the top right corner.
A new window will open, and the export will start downloading immediately.
The exported file contains columns for email addresses, first names, last names, company names, custom fields, and tags, among others. Each tag is included in a separate column for each contact.