I am porbably switching to linux, but the only thing holding me back is making svcd's out of divx movies. I think I have seen a mpeg 2 encoder for linux once, but I am not sure, has anyone every heard of one or have a link to one? Thanks in advance.