The documentation looks excellent!
I'm definitely going to try this for my next PCB project. I've tried basically all of the other free options (Designspark PCB, Eagle, Kicad, Geda, Horizon) and Horizon is the only one really worth using IMO (Designspark PCB is also decent).
Eagle and Geda are trash. Don't waste your time.
Kicad should be great, but they've made a number of insane UX decisions that make it really unusable in practice. Horizon is actually based on the pretty good Kicad engine but it fixes most of the UX mess.
RVA23 is pretty nice. This is the first RISC-V profile that's really viable for desktop class CPUs. (But I still wouldn't buy a RISC-V chip expecting to run Linux on it until they have proper support for UEFI, ACPI, etc. and "unified discover" is specified, which won't be for probably 3-5 years.)