What is the proper embed type for .gifv?

[Kardbord]

How should .gifv files be embedded in Discord?

As of this writing, the bot checks for the .gifv extension when embedding reddit posts and embeds it as a video.
https://github.com/TannerKvarfordt/Kard-bot/blob/551296e4c8cb0a0bd46e5c982dc5fa56094ee83a/kardbot/reddit.go#L159-L162

The Discord API (and discordgo library) seem to indicate that the gifv type is unique from other image types, such as .gif files, and hint that it can be embedded as a video. However, I haven't found a definitive answer one way or another, and I am taking my cues from a deprecated portion of the API. So the question still stands.