Docs/manual.texi:
  Added docs about how to clone public 4.1 repository
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted