Por que transformar um GIF em vídeo?
O GIF é um formato de 1987. Ele guarda cada quadro como uma imagem separada, com no máximo 256 cores e uma compressão simples, então poucos segundos de animação viram vários megabytes com facilidade. Um codec de vídeo como H.264 ou VP9 guarda só o que muda de um quadro para o outro e lida muito melhor com as cores. Por isso, GIFs feitos de trechos de vídeo ou de fotos costumam encolher para uma fração do tamanho, enquanto GIFs pequenos com poucas cores chapadas, como ícones, ganham pouco e podem até ficar um pouco maiores.
Isso faz diferença sempre que o tamanho importa: páginas carregam mais rápido, apps de conversa e redes sociais aceitam o arquivo sem reclamar de limite de tamanho, e slides ou e-mails ficam leves. Muitos sites já mostram GIFs como vídeo por trás dos panos exatamente por esse motivo.
O que acontece com o tempo, a transparência e os tamanhos ímpares
Cada quadro do GIF entra no vídeo com a sua própria duração, então as partes lentas e rápidas da animação tocam exatamente como antes. Quadros que o GIF marca sem nenhum atraso tocam por 0,1 segundo, que é o mesmo que os navegadores fazem.
Os vídeos MP4 e WebM criados aqui não têm transparência, então as partes transparentes do GIF são preenchidas com a cor de fundo que você escolher. O padrão é branco. O H.264 também exige largura e altura pares; se o seu GIF tem 375 pixels de largura, o vídeo ganha uma coluna extra que repete os pixels da borda, então nada é esticado nem cortado. GIFs muito pequenos, com menos de 32 pixels de lado, são ampliados por um fator inteiro porque os codificadores de vídeo não aceitam tamanhos tão pequenos; os pixels continuam nítidos.
Um vídeo toca uma vez, a não ser que o player faça o loop. Sites e a maioria das redes sociais repetem vídeos curtos automaticamente, mas se você quer um trecho mais longo, por exemplo para uma apresentação, defina Repetir como 3, 5 ou 10 vezes.