Would it be possible to upload the latest HTML output to github pages so it can be viewed easily without having to look at the sources or build it locally?
I have found this incredibly useful for the ISA manual: I can just send a link to a subsection such as https://riscv.github.io/riscv-isa-manual/snapshot/unprivileged/#ldst when discussing with others.
The same would be useful here too.
For reference here is the PR where I added this to the ISA manual: riscv/riscv-isa-manual#1917