Por qué MP4 y no GIF
El formato GIF es de 1987 y se nota: admite 256 colores por fotograma y no comprime bien el movimiento. Un clip de tres segundos que pesa 4 MB como GIF suele quedar por debajo de 400 KB como MP4, y además con mejor color.
X, Instagram, Reddit y Discord tomaron la misma decisión: aceptan GIF al subir, guardan MP4 y lo reproducen mudo y en bucle. Por eso la descarga no tiene sonido: nunca hubo pista de audio.
Cuando de verdad necesitas un .gif
Casi todos los sitios donde pegarías un GIF aceptan MP4 y lo manejan mejor. Las excepciones son algunos clientes de correo, foros antiguos y ciertos gestores de contenido que esperan la extensión .gif.
Si te topas con uno, conviértelo en tu ordenador con ffmpeg usando una paleta generada a partir del propio clip. Espera que el archivo crezca varias veces, y baja a 12 o 15 fotogramas por segundo para que no se descontrole.