GIF Resizer - утилита, позволяющая быстро изменить размер анимированных
картинок в формате GIF. Обычные редакторы уменьшают только статическую
картинку, а GIF Resizer уменьшает размер анимированных GIF. Утилита
проста в использовании и не требует установки. Статус - Freeware.