All images were recompressed with jpegmini

As I was in Barcelona on a well-deserved holiday, I tried accessing the website via Samsung 4K TV, and was shocked at how sluggish it was, and how slow pictures were loading. As a result, I managed to shave off 22 Mb of the total images size, so hopefully now website will load slightly faster on slow connections. So nearly every image was updated, but the only change was image size.