Hi Sergio,
despite many library, as pandas and dask, don't really car about the extension of your file with vaex you should use the exact extension name. I don't think is a mayor problem here, given that the data is relatively small, but should be considered as good practice.

Looking forward to play with this data.