pngcrush делает очень хорошую работу по уменьшению размера PNG файлов. Мне было интересно, было ли что-то подобное для GIF файлов, которые мы по-прежнему используем в наших приложениях (не могу исправить это быстро).
Google Page Speed утверждает, что наши изображения GIF можно оптимизировать на большом количестве, но не рекомендуется. Я искал в Интернете и не мог найти инструмент или библиотеку.
Кто-нибудь знает прямой способ оптимизации этих GIF файлов?