There are almost no gifs online nowadays, the word has been adopted to mean "short animation loop with no sound", but whenever you drop a "gif" anywhere online

There are almost no gifs online nowadays, the word has been adopted to mean "short animation loop with no sound", but whenever you drop a "gif" anywhere online it's pretty damn sure actually an mp4 in a video tag