diff -r 7fedc55c14d5 -r d328d0d9b88e doc/manual/en/html/10000201000001FC000001E5D65E8766.png Binary file doc/manual/en/html/10000201000001FC000001E5D65E8766.png has changed