--------------------------------------------------------------------------
Video encoding, and playback recommendations

The supplemental video is encoded using DIVX/MPEG4 format.
Codecs for all systems can be found at http://www.divx.com
Successfully tested with Linux (mplayer), MacOSX (VLC, mplayer, QuickTime Player), Windows XP (Windows Media Player).
Installing/using the DivX Player bundled with DivX distributions is NOT recommended - the DivX codec with one of the tested players should yield the best quality.