Assorted small documentation updates.  No semantic changes.