debut Opera Mini 4.2 gets theatrical debut The latest mobile device browser from Opera just got a new voice,