20111125 tech.computing: Opera Mini has second-largest user base in India: Report