Uther: c'est deja le cas, Opera a son propre dépot debian/ubuntu