[pamelafox]

The nice thing about videos is the play/pause/slider UI. Some platforms do add play/pause explicitly to GIFs, using some JS, but as far as I know (and you would know more), that's not built into browsers yet. That's been one of the reasons I often end up using videos instead.

When I've personally animated SVGs for use in RevealJS presentations, I tend to use CSS animations that I could control with JS if I wanted.

[not2b]

An animated GIF is essentially a video with a large number of restrictions and poor compression compared to an actual video. Often sites convert animated GIFs to videos because the result is smaller and works better.

[kzrdude]

If this gets widespread use, browsers will catch up and in 5-10 years we will have pause buttons! ;)

[justsomehnguy]

Meanwhile we are still have a stupid overlay controls because 20 years ago it was an iframe for an ActiveX control.