@AndrasDeak PNG supports a whole bunch of compression schemes, each with various options, but it takes trial & error to determine the best combination for a given image. And that takes a lot of time, so most PNG encoders produce files that are not as small as they could be. So there are tools like
optipng that can make significant reductions to the file size of a typical PNG file.