[Pikamander2]

> With videos it seems you have to hope that the video player has an option to loop

<video playsinline muted loop> should be nearly as reliable as a GIF in that regard.

The one exception that I've found is that some devices will prevent videos from autoplaying if the user has their battery-saver on, leading to some frustrating bug reports.