Au programme, un navigateur encore plus rapide, une meilleure prise en charge de l’HTML5 et un gestionnaire de favoris remanié.