Given Google's Chrome dominance, it's easy to forget that there are other Android browsers. Opera is one of the also-rans, and it's just brought a new version with a nice round number, 20, for your consideration. It's touting WebRTC as the main hook,