Examples of the former type:
-* crand, cror, crnor. These all are 5-bit (BA, BB, BT). The bit
+* crand, cror, crnor. These all are 5-bit destination (BT). The bit
to be tested against `inv` is the one selected by `BT`
-* mcrf. This has only 3-bit (BF, BFA). In order to select the
+* mcrf. This has only 3-bit destiation (BF). In order to select the
bit to be tested, the alternative encoding must be used.
With `CRbit` coming from the SVP64 RM bits 22-23 the bit
of BF to be tested is identified.