Barrapunto

efectivamente es posible exportar a diversos formatos mediante plugins, es factible que tengamos algún problema porque ffmpeg hace tiempo no tiene una versión estable y casi todos los binarios que distribuyen las distribuciones son tomados del cvs, y ming hace poco publico una versión pero también tiene algunos bugs que impiden el normal funcionamiento del plugin, pero la idea es que con la ayuda de todos podamos solucionar este y otros problemas

un screenshot de la característica [ciudadmomia.com]