URI:
TEXT diskt1 TEXT maketag BIN manifest.gz TEXT readme.tex TEXT tagfile TEXT tagfile.org TEXT tagfile.pat BIN texbin.tgz