Coming at this from the other side: Twitter has done exactly this for years, and the most common complaint is people saving a “GIF” and getting an MP4 they can’t reuse as an image. If Discourse ever does it, keeping the original .gif downloadable next to the video would avoid that.