> The <video> element does have some usages which are underutilized, though: short, perhaps looping video, which can be used instead of animated GIFs. But then

> The <video> element does have some usages which are underutilized, though: short, perhaps looping video, which can be used instead of animated GIFs. But then you still want to serve a small video file (320px wide) for mobile and a larger one for desktop (600px wide). > While it would be possible to have the ability to select different video sizes/quality rates based on HTML elements and attributes, it is likely impractical to handle, say, adaptive video streaming (where the quality of the video is based on the connection), purely in HTML. Adaptive streaming where the quality changes over time as you watch is only needed for longer videos. You don’t need that for a short one minute video or a GIF equivalent. Just picking a resolution appropriate to the screen size would be enough.