In the file formats list, swf (shockwave) is listed, but there is no codec to choose to convert to swf ??? Am I missing something?