Use gifsicle to optimise example