No, I just checked. It is Carakan. Nice job Opera. To take on giants like Firefox and Chrome needs more exposure and advertising. Noone notices if you keep creating the best software in the dark!!