Update documentation about file formats.