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