Criei uma série de pequenos arquivos PNG usando o Blender e fiquei imaginando se havia uma ferramenta (de preferência nos repositórios) que os convertesse em um GIF animado.
Uma estipulação extra: a ferramenta também precisa definir a cor de fundo do GIF para uma cor especificada, pois os arquivos PNG têm um canal alfa e não quero que o GIF seja transparente.