Third batch of edits to user manual. (See individual commits for details.)