Review comment: Ger instructions
In the MMA section, Nemanja requests adding the following statement ahead of the ger instructions:
These builtins provide the equivalent semantics of the instruction with the mnemonic that appears in their name after the last underscore. Those semantics are documented in the Power ISA 3.1.
(Probably drop the 3.1, make sure terminology is consistent with the rest of the document.)
Deleting a branch is permanent. It CANNOT be undone. Continue?