Opera on devices. The final

Opera on devices. The final death (did it ever live?) of WAP.