Fans of the graphics interchange format, better known as the GIF, are today rejoicing Google's decision to add a filter for animated images to its image search facility, making it so much easier ...