From what I gather, I don’t know that there’s a new norm in this regard yet, besides recognizing that gifs are increasingly old & clunky (despite being fun & amusing), and so I don’t know if mp4s or webms or something else might be better if wanting to keep a site lightweight while still having some animated elements.
IMO webm files are ideal as they’re extremely small for the quality of video output. Downside is, they can take a while longer to encode compared to mp4s if your hardware can’t accelerate it
iOS still has issues with webm >_<.
Best to use a vp9 webm with a h264 mp4 fallback.
Maybe next decade when the EU creates even more laws, Apple will begrudgingly add av1 support and we can all switch to that.