The referenced comment does not even take into account that also the lossless compression is more efficient than PNG. This and the easy handling and efficient storing of (short) animations could in total combine the three major image formats: JPG, PNG and GIF.
Even when gifs are now mostly replaced by webm and HTML5 viideo tag, the unification of image formats for both orthogonal uses (natural images vs. technical or generated images) is a big advantage.