Есть ли что-то вроде pngcrush для GIF?

pngcrush очень хорошо справляется с уменьшением размера PNG-файлов. Мне было интересно, было ли что-то подобное для GIF-файлов, которые мы все еще используем в наших приложениях (не можем это быстро исправить).

Google Page Speed ​​утверждает, что наши GIF-изображения можно оптимизировать в значительной степени, но не рекомендовать способ. Я поискал в Интернете и не смог найти инструмент или библиотеку.

Кто-нибудь знает простой способ оптимизации этих файлов GIF?