Update file-formats.html