Thanks for your suggestion!
I haven’t tried it because I’ve used a simple workaround:
* I download all the files as
.xlsx which works fine because one can select multiple files for download from Google Drive.
* I batch-convert them using
.csv on the Command Line