@endtime wrote Opera Mobile, not Opera Mini; they're different products.