Eigentlich ist da doch die grundsätzliche Frage, ob Opera auch eine Möglichkeit bietet Code vom Benutzer auf der Seite auszuführen. So wie ich das verstanden hab, ist das ja genau das, was GreaseMonkey macht. Wenn es also für Opera auch so ein Plugin gäbe, sollte es recht einfach sein, das ganze zu kopieren. Ansonsten müsste man erst so ein Plugin schreiben und das wäre dann doch recht aufwendig, denke ich.
(Und ich benutz auch Opera, wobei ich jetzt immer nebenbei noch den Firefox laufen hab, weil mir das Script so gefällt)