[SkyMarshal]

I'm hoping that they'll bring it back eventually, and that right now they're just focusing all their resources on getting the Win and Mac clients back up to feature-parity with 12.x, plus whatever else webkit brings to the mix.

They're basically in somewhat of a sprint right now, but /fingerscrossed that once they're out of it, they'll port it to Linux too. They're building on Chromium, which has a Linux version, so hopefully it's in the realm of possibility.

That said, will be interesting to see how long Opera 12.x lasts on Linux. I'm on Ubuntu 12.04 now and it's fine, next OS upgrade will be to 14.04 next Spring (or some other Debian distro if I decide to ditch Ubuntu). I wonder if Opera 12.x will work on that.