¿Cómo puedo convertir una captura de pantalla de Camtasia (formato SWF) a un formato de video normal (por ejemplo, DivX)? ¿Preferiblemente usar solo herramientas gratuitas?

Las repeticiones de las conversaciones en un reciente conferencia virtual en línea se pusieron a disposición en formato SWF. Supongo que la mayoría, si no todas, las presentaciones se produjeron con Camtasia Studio. Preferiría mucho ver estos videos en mi TV en lugar de hacerlo en mi computadora...