WPForms: change the export CSV file separator.
<?php add_filter( 'wpforms_csv_export_separator', function( $sep ) { return ';'; });