Android users tired of the built-in browser have had an alternative the form of Opera Mini since shortly after the OS was launched. Opera has now released Opera Mini 4.2, which adds a plethora of new features and bug fixes to what is already a very capable app.