Compress GIF

A GIF's size is driven mainly by its dimensions, so compression works by scaling down. The colour count stays at 256, and frames and loop count are preserved, so the animation is unaffected. Animations that are already small may not compress further — in that case the original file is kept.