New Kenyan users downloaded Opera Mini so much that it has reached number one in the Google Play Store there. Opera Mini is a unique, data-saving browser built with the needs of Africans in mind.

As The Times’s classical music reporter, I wanted to understand how a Hollywood A-lister prepared to play an opera star. So I invited Jolie to the Metropolitan Opera in New York one recent night ...