a handy module for animated GIF processing