swiffy fa esattamente questo: esporta in html5, e si esegue cliccando sul menu comandi di flash pro.
Le altre modalità di esportazione che mi hai suggerito in mp, nonostante tutti i tentativi, non ho ancora capito come si attivano. Ma sono io che sono inesperto. Comunque, grazie per avermi dato...