I hacked Gifify to generate MP4 files instead of animated GIFs. Let’s see how this embeds:

This is 256 KB. 5.5 MB GIF version, created with the exact same parameters, below the fold.