diff -r 9f7c60315168 -r 44d812a41d49 doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed