doc/manual: reduce the size of the png files by running 'optipng -o7 -strip all'. pngquant is another option.
Changeset view not shown, since the total size (11.3 MB) exceeds 9.5 MB