Refresh docs

Although some changes are substantive and ideally would be part of the
previous commit or two, it seems my org export to texi toolchain has
changed recently -- resulting in many gratuitous whitespace changes.
Because the bulk consists of such noise, I'm doing this as a separate
commit.

Author: greghendershott