Ah, they released an update I didn't catch. I sometimes leave Opera open for days or even weeks at a time and updates only install when you restart it. Unless I go to the dev blog I can miss updates and that looks to be what has happened.