It's also possible to encode PNG's in a lossy manor similar to JPGs, it's not always lossless https://pngquant.org/ Also this may actually be pre-processing to make the PNGs more compressible by strategically losing image detail, but an interesting technique nonetheless.
Bookmarks