Wow. That was by far the most impressive encode I have ever seen. Only 3 megs? Wow.
@wunschkind
At the moment the codec only exists in the
mplayer/mencoder package that everyone keeps linking to. Unfortunately its command-line only. It also doesn't support Avisynth files (you can encode directly from vob files though, the disadvantage is no filters). See Tommy Carrot's post for information on how to encode. In order to play the encoded video files, use mplayer movie.avi -vo directx.