I have to agree with John, the pragmatic solution are videos where browser engines provide playback/speed control as part of the specification.
The late rise of GIFs not only for memes but also tutorials is kind of weird, considering that it is a “zombie” older than the web that doesn’t die despite of its heavy bandwidth impact (videos could lazy-load and stream), posterization effects and low framerate that make me dizzy.
Should Extension Warehouse maybe better promote video formats? Anything to improve for adding videos in instructor content? Of course it does not help for some potentially annoying GIFs if those developers don’t update them.