Maneira eficiente de criar vídeo a partir do arquivo .gif em loop?

Question

Eu tenho dois arquivos: animation.gif e audio.mp3 ; duração ( audio.mp3 ) > > duração ( animation.gif ). Eu quero criar .webm arquivo dos dois, ou seja, em loop (número desconhecido de vezes) animation.gif + audio.mp3 .

Uma maneira simples (ou, pelo menos, óbvia), mas lenta, de criar isso é:

ffmpeg -ignore_loop 0 -i animation.gif -i audio.mp3 -shortest -c:v libvpx -threads 4 -b:v 400k -f webm out.webm

Então, a pergunta: há algum truque para acelerar isso? Existe uma maneira mais rápida de criar um vídeo longo a partir do loop animation.gif ?