> I would have made a very strange push for developing a simple RISC-V core

I assume that's just a typo/autocorrect, but it makes for a hilarious mental image