Por que MP4 e não GIF
O formato GIF é de 1987 e isso aparece: aceita 256 cores por quadro e não comprime bem o movimento. Um clipe de três segundos com 4 MB em GIF costuma ficar abaixo de 400 KB em MP4, e ainda com cor melhor.
X, Instagram, Reddit e Discord tomaram a mesma decisão: aceitam GIF no envio, guardam MP4 e tocam mudo em loop. Por isso o download não tem som: nunca existiu faixa de áudio.
Quando você precisa mesmo de um .gif
Quase todo lugar onde você colaria um GIF aceita MP4 e lida melhor com ele. As exceções são alguns clientes de e-mail, fóruns antigos e certos sistemas de publicação que esperam a extensão .gif.
Se cair em um desses, converta no seu computador com ffmpeg usando uma paleta gerada a partir do próprio clipe. Espere o arquivo crescer várias vezes, e baixe para 12 ou 15 quadros por segundo para não sair do controle.
