doc/manual: reduce the size of the png files by running 'optipng -o7 -strip all'. pngquant is another option.