diff -r 0e71bd970a67 -r 1dc256e8e49a doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed