Optimize Images

[ann0see]

Small improvements in image sizes (non critical and only parts should be applied in prod e.g. SVG should not be minified). The shrinkage is minimal - but imo still worth it. We'll need to shrink some of the images - but that's for a later day, I think.

Done by ImgBot.

Changelog: Optimize images for slightly smaller binary size.

[ann0see]

Since this is a small change, I'd like to get it into the upcoming release, if possible. @softins @pljones ?

[pljones]

The byte saving looks trivial.

The colours have changed in some cases, too. Are they still okay in Fancy skin and normal?

(I've no idea why the LEDs need to be that big -- even on high definition displays, given the size of the other images.)

[ann0see]

I think they are just the original files. So it's probably fine.

I'll check the colors later.

[softins]

Since this is a small change, I'd like to get it into the upcoming release, if possible. @softins @pljones ?

I have no objection in principle, but I can't check anything as I am away from home for the next week.