Comment by tomclive

Just what I was going to say. That's a huge file and slows the site down considerably. It should be easy to switch to a MPEG4/WebM video for animation.