I'm aware it seems nonsensical but there are userbases where the format itself makes a huge difference to the user even if it's just a name change Ex. Mobile games where they're mostly children who don't know what a webm or even an mp4 is, but it's engrained in the culture (instagram has them labeled as gifs, Roblox games have gif export, etc) even if some of them are still videos themselves.
If it's too much of a hassle to implement officially I understand :)