Docs/manual.texi:
  Did a minor addition to the OS recommendation section.
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted