Replace huge animated GIFs with MP4

For the sake of people with low bandwidth, please convert huge animated GIFs to MP4 videos using e.g. [Gfycat](https://gfycat.com/upload) or [Ezgif](https://ezgif.com/gif-to-mp4). Thanks!