PalTool is the ultimate swiss-army knife for converting palettes and reducing image sizes even in animations. Also smoothly converts between APNG, animated WebP and GIF. Available as a dependecy-free CLI tool for Windows, Linux and as a web-service.
Source: [Hacker News](https://bztsrc.gitlab.io/paltool/)