The new buttons on the latest Operamini build