diff -r d9cf34cd6823 -r 986061160dbb doc/manual/en/manual.pdf
Binary file doc/manual/en/manual.pdf has changed