since they translated both commands and operations. The distinction is enforced
everywhere else in the manual, so it's good to eliminate the slopiness in terminology
from the non-English versions.
This revision also changes the index term for the procedure name translation tables to
follow the pattern of the color names. This makes the different pages self-apparent
in the index.