Added link to Opera port

Yes. It still exists.