What people call GIFs (however they pronounce it!) are nowadays more likely to be delivered as video files in reality.
It's more of a human-centric label for "short+looping+silent+autoplay video" than a tech-centric file format. A tad ironic given there's no longer a patent issue on the actual format.