Currently, some of the items in the Tools menu have "tool" in the name, and some
do not. This is in any event redundant since they're in a menu with that word in it
already. In the toolbar, these actions become more inconsistent since their names change
and can even differ between what's shown in the pop-up menu and what's shown on the
This patch regularizes the names, stops changing the names for the toolbar versions, and
updates the docbook accordingly.