Early in the days of the web, when the internet was turning into a mass medium with possibilities for mixing images and sound, a file format known as the GIF was used to create miniature animations on ...