CSV datafiles: document it, autodetect extension