@david @waifu @meeper Graphics Interchange Format is in fact primarily an imaging format (but it sucks and can't even display colour properly - it requires dithering to pretend to show more than a pathetic number of colours - as a result, png has replaced it and thus you don't see it used for images anymore).

It also supports multiple images in the same file, which can be played back as an animation and of course proprietary software programmers only bother to support animations in the gif format, despite all the defects of gif, rather than supporting superior animation formats like MNG, apng & webp.