diff -r 000000000000 -r 4472ee7c6c3e doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed