Docs/manual.texi:
  Fixed up serg's full-text searching manual.
  Other miscellaneous changes.
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted