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