> Regarding the PDF, you can download the PDF from the latest release
That's what I was expecting to do, but....
I went to
https://github.com/riscv/riscv-dot-product . No PDF files are listed on the project page. I tried clicking on Code and downloading the .zip file, but that doesn't contain any PDF files either.
By clicking on more of the .adoc files, I now see that most of them do include content (e.g. body.adoc): the one I looked at first, readme.adoc, is just the boilerplate for how to build the .pdf file.
I can read the .adoc files easily, so I'm able to see what I want. However, I still don't see any PDF files, at least for this project.