This news is almost enough to make me cry. This is THE game for me that needed to work on Linux. It's a dream come true and I didn't even have to ask Santa.
Nearly all Unreal Engine 3 games use flash for their hud. MOST AAA games recently use flash for their hud/menu's via some framework/library I can't think of right now however it's widely used. Rage, Dead Space, Bulletstorm, Crysis 2, and many more games use Flash for their hud/menu's. Flash gives the artist more control over their gui/hud. More 3d effects, shadows, etc. 'Flash' has been a very popular choice for gui's and menu's for a long time now.
The library you're talking about is scaleform.
It's Autodesk Scaleform, IIRC.
Haha, damn vbulletin for not telling there are new posts. Also damn vbulletin for having broken editing and deleting posts in Opera.
Ignore above post.