Opera Software Tuesday plans to officially launch Opera Mini, although this hosted mobile phone browsing service and application has already racked up about 1 million users. As users browse, the Opera ...