diff -r ad3de8730172 -r fe50ada8020b doc/manual/en/manual.odt Binary file doc/manual/en/manual.odt has changed