Replace 28MB GIF file with a 3MB video

[niutech]

Please save users' data plans and loading times!

[alokmenghrajani]

Sure. But I'd rather you include the file in the repo (i.e. add it to the /files/2018/bootable_cd_retro_game_tweet/ folder and remove the existing gif).

Also, make sure you encode the full gif (not just the first 15 seconds).

[alokmenghrajani]

Now that I think about it, you might want to explore doing this in a jekyll plugin? You'll be able to save a ton more bandwidth, across many sites on the web, rather than just converting this one file.

[alokmenghrajani]

You still have to update the html to use the file you uploaded. Also worth deleting the old gif, since it won't be referenced anywhere.

[niutech]

I've done it right now.
The old GIF is provided as a fallback for browsers not supporting HTML video in MP4 format.
Sorry, I don't know how to make Jekyll plugins auto-converting GIF files to MP4.

[alokmenghrajani]

👍

[niutech]

It is weird, but the GIF fallback is still being downloaded despite the MP4 video. I will make another PR.