Как сжать GIF с 9мб до 5?

Есть хороша ппрограмма ScreenToGif - пожалуй, лучшая в своем классе программа для создания и редактирования анимированного GIF. Позволяет не только записывать видео с экрана в формате gif, но также в форматах avi, mp4, mkv, wmv, webm и apng. Кроме того, в программу можно загрузить готовый анимированный gif и отредактировать его - обрезать размер, удалить кадры, изменить время кадров, добавить текст, фигуры и другие изображения...