It seems a lot of people either didn't RTFA or are basically misunderstanding what OpenFL is.
OpenFL is NOT an open source version of the flash Flash Plugin, like Gnash.
OpenFL is a code library written in Haxe.
You use OpenFL, and then you can output a truly native (C++) app, but can still use the flash API. It doesn't embed the flash player, or Adobe AIR, or anything like that, in your generated C++ app. You can use this to create truly native apps for mac/windows/linux/mobile, etc. Very recently they've added the ability to output to HTML5:
http://www.openfl.org/blog/201...
So you can take your old flash code, port it to Haxe, and then have a 100% Javascript based HTML5 game. And you can take that same Haxe code and make a native C++ app with it. And so on.
Hope this helps demystify things.