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