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.
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.