Trivial documentation fixes from 4.0.13.1

A handful of trivial documentation fixes for inclusion in uPortal 4.1, gained from polish in release engineering  `4.0.13.1`.  These fixes are also incorporated in `rel-4.0-patches` towards uPortal `4.0.14`.