Compress WebP.

WebP is already more efficient than JPEG or PNG, but there is still room for extra optimization. Adjusting the WebP encoding quality can cut the size by 20-60% while keeping excellent visual quality — the best format for the modern web, now even lighter.