@anrddh updated the scanned PDFs, adding comprehensive tables of contents:
- 4th edition, 1998
- higher resolution, better OCR, smaller file thanks to better compression
- previous release
- 6th edition, 2001
- now including metadata, like title and author
- previous release
For more details, see #166