Y aprovechando la coyuntura, si alguien me recomienda un conversor de
formatos (divx a mpg, por ejemplo) que sea menos tiquismiquis con los
codecs que el TmpGenc, yo también lo agradecería.