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.
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.