Are there other formats that can replace GIF and be understood by most browsers? After converting, the quality of GIF animation leaves much to be desired. Played around with the render settings, all to no avail.
There is, for example, such an approach: PNG + JS. Apple uses something similar but with jpegs.
But, if you have a regular video, then it is better to use the video tag.