I'm not even able to find any information on "Flash 9.4" by googling for it. I wonder what it really even refers to or if such a version exists.

Frankly, I've never really understood the version numbers of Flash anyway. Seems like all the mobile devices are trying to mislead customers on purpose about how great their Flash support it...the Hero was supposed to be the first device with Flash 10, and I think that really only meant that some videos play better on it. Very confusing, what I'd want is just a clear "support for Flash 10" and Facebook's Scrabble to work