Comment by fyrn-

Github issue tracking this comment: https://github.com/riscv/riscv-v-spec/issues/811