On another note, I tried to make a throwaway on `old.reddit.com`. I couldn't find a way to make an account without using an email. I had to manually type in `old.reddit.com/register` to get to a form that would let me not type in an email and even then it wasn't obvious that the email wasn't required.
Since I like to build custom electronics using JLCPCB, I went on there and looked for RISC-V chips. I found the ESP32-C3 and a dozen or so Chinese chips that seemed to only have Chinese datasheets. It seems that things are still pretty immature in RISC-V adoption. I will be getting a ESP32-C3 dev board to tinker with at least.