Hacker News Reader

Or just an mp4 video. I converted (with ffmpeg) one GIF and it turned from 6MB to 1.5MB without any parameters settings, and still looking perfect.

Not supported in all browsers I thought? I recall a browser couldn’t do SVG animations

Would the users of that browser be of interest when considering that this is for developer documentation?

Microsoft Edge doesn't support them.

Nice one!