Hmmm.... it's just an mpeg-1, or at least I think it is. I tried to avoid
more advanced codecs on the assumption that some people on the newsgroups
wouldn't have them. However, I'll have another look at it and see if
something else works better. (And if it is actually mpeg-1 or not)