Some pretty concerning red flags: They said "RISC-V", but that's not saying much. Is it RV32I, RV32IM, RV32G, does it have supervisor support, etc. Yes, I kno

Some pretty concerning red flags: They said "RISC-V", but that's not saying much. Is it RV32I, RV32IM, RV32G, does it have supervisor support, etc. Yes, I know I can look it up on github, but this kind of information should be at the very top of the front page.