diff -r 6b5a4c21e061 -r 2a4c2ca03555 doc/manual/en/manual.pdf
Binary file doc/manual/en/manual.pdf has changed