Crie GIF / APNG de alta qualidade a partir de um monte de PNGs

Question

Eu tenho 50 PNGs (como esses aqui ) e gostaria gostaria de criar uma animação GIF (ou APNG) que retenha a qualidade e seja pequena.

O que estou fazendo até agora é redimensionar e jogar optipng neles:

for file in step*.png; do \
  convert -trim -resize 200x200 $$file png8:$$file; \
  optipng -quiet $$file; \
done

Depois disso, o tamanho dos PNGs individuais é de cerca de 30 KB. (Talvez mais possa ser ajustado aqui.) Então é hora de conversão:

$ apngasm out.png step*.png

O arquivo de saída, no entanto, continua com 1,3 MB.

Alguma ideia de como melhorar isso?