I analyzed this earlier today, the .txt link that is, didn't know there was a .html. I just saved it locally and renamed to end in ".html" then double-clicked and opened in a browser. It appears to contain compressed PDFs at the end (well, starting around 20% of the way through that one; the end of the .html link in the OP which is shorter, ends with the table of contents).

Let me find it... Here it is, linking as it's long: https://voat.co/v/QRV/3655456/22492506