I entirely get what you're saying, but GIF doesn't mean GIF anymore. Many sites and applications are silently presenting MP4 or webm instead of actual gifs, oft

I entirely get what you're saying, but GIF doesn't mean GIF anymore. Many sites and applications are silently presenting MP4 or webm instead of actual gifs, often with the file format gifv. "gif" has stopped meaning a .gif and now just means a short, looping, animated video. File it alongside "disk" (solid state disk, save to disk etc), film (to mean movie) and various other weird language evolutions. These things used to grate on me, but then I chose to embrace the cultural history embedded in our language. I look forward to the year 2060 Buzfeed - "Top 37 words that used to mean something else", "You'll never guess why we call videos 'gifs'" etc etc ;)