Hacker News Reader

That problem could easily be solved by browsers though? Treat an animated gif like an mp4

Or just skip the GIF and create an MP4 file? No need to try and shoehorn GIF into what MP4 can do perfectly well.

Yes... except that you can't embed a video in github README