diff -r d485a3fc5739 -r 01d81faa3350 doc/manual/en/manual.odt
Binary file doc/manual/en/manual.odt has changed