Hard coded user agents might have been wrong, but with the ability to choose from hard coded user agents, also using custom user agent (in opera:config) was taken away. And this is also one of the features of desktop Opera (see e.g. Set Custom User-Agent String in Opera 12 - browser fame). So it seems our Opera was partially reverted to 11.