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.