Opera a mis à jour leurs serveurs utilisés par le navigateur Opera Mini. Selon Opera, cela améliore grandement les performances notamment dans le temps de chargement des pages avec un gain pouvant atteindre 70% selon leurs dires.
Quand vous utilisez Opera Mini, les données transitent par ces serveurs qui optimisent les contenus pour faciliter l’affichage sur les mobiles et réduire la quantité de données transmises sur les terminaux.
Source : blog officiel de Opera Mini