I haven't posted a video to the net and cared about it for a while. Clover has extended family that are suckers Apple users. They always miss out on the videos I post, so I went and looked up how to serve two video files. The resulting code was:
<video width="610" height="458" controls>
<source src="https://www.interi.org/files/together.mp4" type="video/mp4; codecs=avc1.42E01E,mp4a.40.2">
<source src="https://www.interi.org/files/together.webm" type="video/webm; codecs=vp8,vorbis">
</video>
I tested it in Safari and it works (and you can watch it, too). However, the two videos are visual equal in quality, but the webm comes in at 1.6 MB, while the mp4 is 19.1 MB. I don't mind penalizing the Apple users, but I do wish I knew more about optimizing video for the web. On the other hand, that is what webm is for. ^_^