No entiendo muy bien cómo funciona esto, pero parece que convierte nuestros queridos GIFs en formato HTML5 
(y encima ocupan menos... a ver cómo convierto yo ahora los cientos de GIFs que tenemos para la Oink! TV)
(y encima ocupan menos... a ver cómo convierto yo ahora los cientos de GIFs que tenemos para la Oink! TV)