@marabu-too
No longer a problem - a re-boot of my device brought Opera online again.
Still would love to know what went wrong, though.