Opera has released its first browser for the Google-run Android mobile platform. Opera Mini 4.2, the final release of which came out on Tuesday, is the latest version of Opera's most cut-down mobile ...