As you know, Flash is being dropped in favour of html5, though GIF animator has a useful export to Flash feature.
A new product being developed now is export to html5 like this one: Click Here. Any chance of this being included in a future update of GA?