Concretized the file-format section in the README