ezgif is godsent for all your gif optimization needs. This saved me aeons of time when posting on sites like tumblr that have a pesky gif size limit.
