I wonder if animated GIFs will ever be replaced. Nothing beats the convenience of dropping in a GIF to express memes because embedded video clips still don't have that same easy workflow.
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
Ha, I tried to download a gif the other day and couldn't get one from Google or Giphy - they're all webp files that masquerade as gif (eg by having .gif URL ending but being a webp).
I noticed this happening with Google Image search the other day, too: image previews are base64 strings, and then sites will use URLs like https://some.site/image/abc123-GUID?format=jpeg for the source image on the site itself.