Docs/Manual_style_guidelines.txt:
  Updated guidelines, mostly identified globals from O'Reilly proofread.
Docs/Support/docbook-fixup.pl:
  Added post-processing for new docbook-prefix preprocessing.
  Shuffled/fixed some other minor stuff.
Docs/Support/make-docbook:
  Include preprocessing before makeinfo.
Docs/manual.texi:
  Processing O'Reilly proofread, including global style changes.
  Watch this one VERY VERY carefully - it's extremely drastic!