v.Final: Opera Mini 4.2 for Android leaves beta, available now

Attention droids and droidettes: Opera has released a final version (as in non-beta, not the last version ever) of Opera Mini 4.2 for Android.  It’s available now in the Android Market and includes the following changes from the last beta:

• Now you can upload and download files through Opera Mini and save pages for offline viewing
• Videos will be redirected to the system’s video player
• Double tap now works for zooming in and out
• Inline URL entry instead of using native input
• Fixed password text entry to hide characters
• Fixed problems with exiting application when back button was pressed
• Improved trackball speed
• All internal pages, like the start page, now have font size extra large for easier navigation

Beta is so 2008, anyways…