Docs as a PDF would they not be useful?

I asked whether there was a single downloadable *pdf containing all the docs and was told:

"I'm afraid there's no downloadable file(s) for our docs and you should stick with our webpages.
You're free to propose anything though, Features & Feedback section is the right place for that. "

So I tried using Acrobat Pro DC html-pdf and now have compiled a single *.pdf file with all the docs in one file.

Let me know if you want a copy for the site.
It means I can use the docs off-line
I can add my own personal notes and examples to every page.
I can easily print out any combination of pages I need.
Quite a useful tool