The separation character for CSV exports is no longer hardcoded.