Used zopflipng to optimise the images, saving a whopping 8238 bytes. The optimisation is lossless, i.e. the decoded pixel values do not change at all.