I do wish these types of document were published as HTML and not just as PDF.
For other users, PDF is well known for lack of accessibility and I hear that it's a poor choice for screen readers but I have little direct knowledge on that.
I'd rather HTML with named anchors so I can link from documents/pages directly to subsections with hyperlinks. This would make it more useful professionally given it's a document that should be referenced by other works.