| grayupload.info.gz | Info document compressed (18K characters gzipped tar file) |
| grayupload.txt | ASCII text (57K characters) |
| grayupload.txt.gz | ASCII text, compressed (17K characters) |
| grayupload.dvi.gz | TeX dvi file (32K characters gzipped) |
| grayupload.pdf | PDF file (197K characters gzipped) |
| grayupload.tar.gz | Texinfo source (18K characters gzipped tar file) |