Yeah. I think the ISO process would likely slow down the development of the ISA.

Not only that, it might turn RISC-V from a specification freely available under a FOSS license into a proprietary standard that you have to pay 285 CHF (~$350) to buy a non-transferable license for.