Docs/manual.texi:
  minor fix to 3.23.53 change note
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted