doc/manual: further size reduction by doing 'pngquant --skip-if-larger -s 1 --quality=50-90 -o out1.png in.png; optipng -quiet -o7 -strip all -out out2.png out1.png'