Hi, I've encoded the videos into H.264 in a MP4 container:
http://www.kix.in/plan9/videos/acme_session.mp4 (6.5M) http://www.kix.in/plan9/videos/intro_plan9.mp4 (2.4M) http://www.kix.in/plan9/videos/rio_session1.mp4 (4.4M) http://www.kix.in/plan9/videos/rio_session2.mp4 (2.1M) VLC/Mplayer should be able to play them on most platforms. Cheers, Anant