found too-old prose at beginning of user manual.  Updated.
===GT=== #2433
Merge branch 'V8_0-branch' into V8_1_1-branch
Merge branch 'V8_1_1-branch'