Eu teria usado ffmpeg
para essa tarefa. Dê uma olhada em this thread que deve lhe dar bons resultados.
Eu tentei com o mp4 do gif da giphy e obtive esse gif abaixo como resultado, o que parece muito bom na minha opinião!
mkdir frames
ffmpeg -i giphy.mp4 -vf scale=320:-1:flags=lanczos,fps=10 frames/ffout%03d.png
convert -loop 0 frames/ffout*.png output.gif