title: Is there something like pngcrush for GIFs?
body: <p>pngcrush does a very good job at reducing the size of PNG-Files. I was wondering if the was something similar for GIFs, which we still use in our applications (can't fix that quickly).</p>
  
  <p>Google Page Speed claims that our GIF images could be optimized by a large amount, but doesn't recommend a way. I searched the web and couldn't find a tool or library.</p>
  
  <p>Does anyone know a straight forward way to optimize those GIF-Files?</p>