Well, it's happened: Opera Mini has been formally submitted to the Apple app store. Time will tell!