These are versions of the ISA manual with Sail snippets derived from the actual sail-riscv model. It is automatically synchronised with the upstream manual.
This is only the latest snapshot. I also have hosted historical versions of the manual here (but without Sail).