Lots of small markup adjustments for consistency with the rest of the

documentation.