Comment by MarionG

PNG is now actually the most used format on the web: https://w3techs.com/technologies/overview/image_format significantly more popular than GIF.

BTW, WebP is used by 0.4% of all websites.