The pdf is about 1/6 of the size with no quality loss that I can tell.
It's actual professionally written documentation even if a bit outdated,
might as well include it. Also fixup the reference in the README.