How was the GIF animation done? It was very slick!