(BIN) texinfo.texi.tar.gz