You are right, it was removed and is no longer in the newer spec: https://wiki.riscv.org/display/HOME/Recently+Ratified+Extensions https://wiki.riscv.org/displ

You are right, it was removed and is no longer in the newer spec: https://wiki.riscv.org/display/HOME/Recently+Ratified+Extensions https://wiki.riscv.org/display/HOME/Recently+Ratified+Extens...