diff -r d9cf34cd6823 -r 986061160dbb doc/manual/en/manual.odt Binary file doc/manual/en/manual.odt has changed