Thanks to this OCR'ed version, I was able to put an NLP text summarizer of the document into production yesterday. Check it! https://news.ycombinator.com/item?id=19815506