Google DoubleClick has just released Swiffy extension for exporting Flash to HTML5. I think it is mainly targeting at Flash banners so in the future, the server will automatically serve or convert to HTML5 banner when viewing on mobile devices. More info at Swiffy.