Replying to myself, it seems they haven't avoided it, and here is a recent proposal to fix it: https://groups.google.com/a/groups.riscv.org/d/msg/isa-dev/JU0M_v

Replying to myself, it seems they haven't avoided it, and here is a recent proposal to fix it: https://groups.google.com/a/groups.riscv.org/d/msg/isa-dev/JU0M_vug4R0/YELX92fIBwAJ https://groups.google.com/a/groups.riscv.org/d/msg/isa-dev/J...