As an avid user of Opera Mini I was very happy to see that the version v4.2 is now available for Android. Alphas and betas have been available since last October/November so announcing a non beta version probably means it's quite stable by now. Good news for G-Phone users and mobile Internet access in general. Kudos to Opera, looking forward to see it on the G-Phone in Barcelona at the MWC!