Как сжать GIF онлайн

Сервисов и программ много, но для себя остановился на том, который не подвел меня при срочном изменении размеров GIF-анимации:
online-image-editor.com
Преимущества:

• бесплатный
• редактор в довесок
• нет явного ограничения на объем