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