(HTM) index.html
 (HTM) texinfo.html
 (BIN) texinfo.html.gz