Well, I've said it before and I'll say it again, right now other exporters are not even an option! We're a tiny 2-man team and the HTML5 exporter + runtime has been in development for over a year, and we're still tweaking and adding stuff to it. It's just impossible for us to take on such a large project. Other companies either have more resources, or less features and no third-party plugin system which makes it much easier to write ports since there's a great deal less technical complexity. We're also still too small to safely throw money at the problem and just hire a bunch of people to do it. On top of that, we genuinely think it's only a matter of time before HTML5 is really fast and great for mobile games. We're a little ahead of time, really. And I cannot think of anything worse than spending time we don't have developing iOS/Android native runtimes, then by the time we're done, HTML5 is fast anyway so all that time was wasted. Not only am I happy to wait it out, it's our only option really.