This is a tentative page for miscellaneous videos. Unfortunately, I can't produce high-definition videos for firefox (webm), because of my lack of knowledge about codecs.
A simpler web page is here.
