Comment by skrellm

I've created a similar tool, for compressing and converting, but it can handle not just images but animations as well.

https://bztsrc.gitlab.io/paltool/

https://news.ycombinator.com/item?id=49088479