Convert an animated GIF into an MP4 or WEBM video.
Video files end up much smaller than GIFs, and most social media platforms prefer a short video over a GIF.
No, GIF format never contains audio, so the output video is silent.