Opera-Developer working on Fedora 20