All other programs, browsers and apps list all of my printer destinations.
As in, Chrome, Brave, Chromium, Vivaldi and Chromium-based Edge all show all of them? They all use Chromium like Opera, so those would be the best comparisons.
YES. Edge and Chrome list my Canon 6600 Series printer (no "WS") as the default, because it is my default printer.
Opera only lists the "WS" driver, even when you click on the "See more..." print destination. There is no room for it to say "WS" at the end of the printer name, until you drop down the list (then you see the full printer name with the WS at the end), but the "WS" printer driver is indeed what it prints to.
The other browsers print to the non-WS driver as the default, but both the WS and the non-WS drivers appear in the drop-down (directly in Edge, and via the "See more..." print destination in Chrome.