Minor updates in the new notes about the file formats.