Miningames now have gifs to play! They could use some optimization still.