> From my understanding, the easiest way is to use the <video> tag with mp4.
The easiest way for everyone involved is... using GIFs as GIFs.
The 19% in savings (when converting to lossless WebP) aren't worth it. Not even 60%, when you consider what you lose in usability.