in HMI, log files should be downloadable with a coherent MIME type or extension

[xtof-osd]

for now, no mime type and no extension, so the file might not be opened easily by any editor