Excellent deep dive into WPO! Image optimization is huge, and for GIFs specifically, gifspeed.com does lossless compression that cuts file size by up to 70%. Free and no account needed.