The graphics/gifsicle port
gifsicle-1.92 – creating & editing GIF images and animations
Gifsicle twaddles GIF image files in a variety of ways. It is better
than many of the freely available GIF twaddlers on the market - for one
thing, it has more options.