@BrendanEich FYI I'm leaving Opera August 1. Went through TOS with Opera Mini for iOS - what an experience. Keep breaking down those walls!