Naming of cv.slet

Created by: realqhc

On a review for upstreaming core-v alu encoding, the reviewer Craig Topper asked

I would have expected cv.sle and cv.sleu for these mnemonics. The t feels out of place. In the base isa for slt/sltu it's part of "less than". Is the instruction name here "set less equal than" instead "set less than or equal"?

The vector spec uses "sle" and "sleu"

Is the spec frozen?

Is it possible that anyone could provide a clarification on the meaning of the mnemonics cv.slet, cv.sletu?