Sort the names of plugins.

Sort the names of plugins in the documentation. Upon visual inspection, also fix a number of formulas and text issues found in the manual's description of the various plugins.