Comment by cornstalks

Are they actually GIFs? Some websites use looping videos and call them GIFs, even though they’re H.264 in MP4 or something like that.