reduce images filesize

Shrank about 8.5% on average, should be no visual difference.

Thanks for your project!