Maybe can hurt performance, but if well optimized, can add a good animated layer, like a decoration with green screen cropping supported.
You can use Webm's. Webm is a lot smaller than a normal video file but can keep most of the quality. We do not really want to use normal video files. It can lead to extremely large files that take forever to load.
You won't be notified about changes to this idea.