diff -r d2fc5d5f8a36 -r ebf4bd44f282 doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed