Ah, minor problems remain.
Opera now works again as my default browser. However, Opera could not see that it was the default browser until I used Windows: Control Panel: Default Programs to set it as the default.
Even then:
- Neither Windows: Settings: System: Default apps: Web browser nor Windows: Settings: System: Default apps: Choose default applications by protocol: HTTP shows any of the ...