GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format. Created by ImageOptim on Nov 01, 2017.