@Suiseiseki Here I thought that both png and webp were lossless formats. I tried with optipng, cwebp, and Gimp, with no noticeable differences to the file size