vec_bperm description is wrong in several ways
As described in #14:
For vbpermq, instead of "bit i of r", the third bullet should say "bit 48+i of r". That leaves bits 0:47 and 64:127 as 0, as they should be.
For vbpermd, the first subbullet should replace "jth element of b" with "(i*8+j)th element of b." The second and third subbullets should replace "bit j" with "bit 56+j". That leaves bits 0:55 and 64:119 as 0, as they should be.
That should follow the ISA correctly.
Deleting a branch is permanent. It CANNOT be undone. Continue?