Como Instalar UserJs no navegador Opera

Os UserJs são scripts (feitos em javascript) que servem para reparar bugs ou para adicionar uma funcionalidade extra em algum site acessado pelo Opera. Um exemplo é este UserJs que retira a segunda página com frames do Google Imagem, fazendo o link apontar direto para a imagem que o usuário quer ver.