The sites like tenor/giphy/klipy all convert to multiple media formats and then have meta embed properties with multiple formats. Sites/apps like Discord somet

The sites like tenor/giphy/klipy all convert to multiple media formats and then have meta embed properties with multiple formats. Sites/apps like Discord sometimes consume the mp4 instead of gif or webp when embedding (and in Discord's case they're not hotlinking, I believe they're running it through their own media proxy service). For example, <https://klipy.com/gifs/begone-witch https://klipy.com/gifs/begone-witch> turns into <video> (with ARIA GIF label!) and src <https://images-ext-1.discordapp.net/external/kQT1eR3Sa6g3mZ_wK63viFKFNMUKFAT9iCJ4KblwnHk/https/static.klipy.com/ii/9ed0121ed465c12e1f3dda331ed33f0e/93/b8/SzExQXkj9Q1zk2p8kZh.mp4 https://images-ext-1.discordapp.net/external/kQT1eR3Sa6g3mZ_...> 7.1 MB gif => 679 KB mp4