This was so common in Opera 12 that there was a dedicated button in the UI to change the user agent for a page.
The browser also included a built-in user agent compatibility list and the user could manually add sites to use a specific UA string.
Most sites would work fine in Opera with the correct UA. Many did not work when using the default UA with the word "Opera" in it.