Opera Mini heißt eine Variante des kostenlosen Browsers, welche sich an Besitzer mobiler Endgeräte richtet, deren Geräte nicht die Unterstützung für das besser angepasste „Opera Mobile“ erfahren. Heute haben die norwegischen Entwickler die zweite Beta-Version von Opera Mini 5 für die Android-Plattform veröffentlicht.
