It doesn’t help that the shorthand for moving picture sequence is gif. I remember when internet pictures were commonly called jpegs no matter the format. I don’t know what else people should use