we need a shorthand, format-independent term to describe animated image formats like GIF, AVIF, and APNG
most people colloquially bundle these into GIFs but that erases the like, two decades of innovation that has succeeded GIF in other formats.
and we can't call them "moving pictures", because i can't take any more back pain