I cut down the December 2019 RISC-V ISA manual to just the things needed to get started with RV32I, to be even less intimidating.
I left out the end of the RV32I chapter with fence, ecall/ebreak, and hints. But included the later page (which many people miss) with the exact binary encodings, and also the chapter with the register API names and standard pseudo-instructions.
It's 18 pages in total.
I hope it's useful to someone else.
