I've settled on Flash Video for the present moment. This seems to be the most widely supported way to distribute video on a web page, and I've deliberately employed only the simplest of available players and scripts.
This document maintained by rgm at fabandpp.org
All
Material Copyright © 2011.