I like very much the *.GIF animations that are created from the GPX files and showcased in the OS website. I wonder if somebody knows how can I create those kind of animations? Is there a script or a software I can use to make them my self? I am specially interested in rendering this kind of animations in a bigger format and as well provide a more paced timing ton the animation. Thanks!