Assertion: format's file extension | /r/SimilarTo | html files
Facets:
Source sentences:
text: Like HTM and HTML files, when the JPEG format was first introduced, the official file extension was JPEG (with four letters).