| vcsync.info.gz | Info document compressed (17K characters gzipped tar file) |
| vcsync.txt | ASCII text (55K characters) |
| vcsync.txt.gz | ASCII text, compressed (16K characters) |
| vcsync.dvi.gz | TeX dvi file (30K characters gzipped) |
| vcsync.pdf | PDF file (207K characters gzipped) |
| vcsync.tar.gz | Texinfo source (18K characters gzipped tar file) |