I tried using ffmpeg to create a video instead of a gif, but I struggled getting it to correctly reproduce my colours and I couldn't figure out how to handle the occasional variation in time between frames in my capture.
Or Loom -> MP4 -> ezgif
There's a lack of good GIF making tools
Unfortunately, apngasm does not seem to handle gamma correctly, resulting in more muted colours in the output APNG than in the input PNGs. If I can find the time, I'll fix that up and open-source the various tweaks I made. My current results are[4][5], though I may update those images as I improve them.
On a related note, it seems that it's no longer possible to remove the window decorations from gnome-terminal on Ubuntu 19.10, which is unfortunate for ttygif captures. I switched to my Ubuntu 18.04 machine to do a capture without the window border.
[1]: https://caniuse.com/#feat=apng [2]: https://github.com/apngasm/apngasm [3]: https://github.com/icholy/ttygif [4]: https://slerp.xyz/demos/ascii-euler/block.png [5]: https://slerp.xyz/demos/ascii-euler/waterfall.png