What's the state of the art on converting Flash to HTML5? You'd need an Actionscript to Javascript transpiler, export the assets, and handle tweening / timeline keyframes? And probably handle Flash specific events? I don't recall if Flash has any flash-specific effects you'd need to recreate.