This is amazing, not only did they port from the 2040 to the 2350, but they also ported all the functionality they could support over to the RV32 cores as well. PicoDVI is usable no matter what cores one chooses to use on the RP2350. Well done!
The author is also the creator of the RISC-V core found in the RP2350, you don't get your own core design taped out as an ASIC and then not show it off :p