Makes the post a way, way bigger download (problematic for people on slow/metered connections)
Let me emphasize this part by pointing out that this post contains over twenty megabytes of images.
Edit: Note that converting the images from PNGs to GIFs would cut the file size down by about 75 percent, with zero loss of quality (so it would only be about 5 MB of images—still totally unnecessary, IMO, but not quite as egregiously so).
Since when did GIFs have notably better compression than PNGs? (Perhaps the issue is that these are badly-generated PNGs, and simply loading them into something that knows how to write PNGs and saving them again would produce similar gains?)
It’s the color palette; you can indeed save them as 256-color PNGs and get the same file size reduction. I suggested converting to GIF because it’s more likely that the OP knows or can figure out how to do that, than that he has & knows how to use a tool which can save palette-reduced PNGs.
Let me emphasize this part by pointing out that this post contains over twenty megabytes of images.
Edit: Note that converting the images from PNGs to GIFs would cut the file size down by about 75 percent, with zero loss of quality (so it would only be about 5 MB of images—still totally unnecessary, IMO, but not quite as egregiously so).
Since when did GIFs have notably better compression than PNGs? (Perhaps the issue is that these are badly-generated PNGs, and simply loading them into something that knows how to write PNGs and saving them again would produce similar gains?)
It’s the color palette; you can indeed save them as 256-color PNGs and get the same file size reduction. I suggested converting to GIF because it’s more likely that the OP knows or can figure out how to do that, than that he has & knows how to use a tool which can save palette-reduced PNGs.
Ah, I see. Yes, that would be an improvement, maybe 10% as good as just making the stuff be text in the first place.