Comment 2 for bug 1716885

Revision history for this message
Will Cooke (willcooke) wrote :

I've extracted these, resized them to max 4k, exported as PNG and then run them through a PNGcrush. However, the resulting files were bigger than the original JPGs - so I don't think there is much optimisation to be done here.

A few of the files are bigger than 4k, but I think that's OK.