diff -r b6572d0336c3 -r 05d95c45b388 doc/manual/en/Pictures/1000000000000396000000FFC42573DA.png
Binary file doc/manual/en/Pictures/1000000000000396000000FFC42573DA.png has changed