Yeah, Opera Mini 4 not being available on android is a major consoling factor when I decide once again to keep my crappy Symbian phone and spend the money on something else instead. (Opera Mini 5 is available, but it is a horrible usability regression. All the functions I use regularly like "reload"(hi, HN frontpage) and "switch to mobile view" which are at most three key presses in 4 are more than ten in 5, and the font rendering which sometimes seems to use non-system fonts is atrocious, using 50% more space than the small system font while being less readable and still not displaing italics.