Use external link of the animation

The GIF animation is too large for downloading, so move it into another
place.