File extension should indicate format, not contents
With menu bar > Experiment > Save as
, we generate a HDF5 file. The file name dialog widget proposes the file extension .ohkl
. Wouldn't it be more in line with general practice to impose the extension .hdf
?