diff -r b505f7116a1c -r c7c84c68717b doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed