[roryokane]

To fill in the missing step, you can play a real video format in the browser using the HTML <video> element, optionally with the `loop` attribute (https://developer.mozilla.org/en-US/docs/Web/HTML/Element/vi...). <video> elements, like GIFs, are supported in all browsers.

You can choose a codec and container format to export your video to with the help of https://developer.mozilla.org/en-US/docs/Web/Media/Formats/V.... All of those formats make for much smaller files than GIF-format video files.