Docs/manual.texi:
  Merge	One more merge of docs due to LOG function addition. I' not sure if it is good enough so will ask Arjen to check after push