We should have a [clip] or [anim] tag that allows for videos to be embedded like <video muted autoplay loop src="...">, thereby allowing WebM/MP4 to be used for higher-quality animation content.
This would be great if possible. The size and loading differences between .gif and video formats could really help to ease up on page loading times without taking away any animations from an LP.