Também há extensões disponíveis no repositório de complementos do Opera:
- Sem redirecionamento da pesquisa do Google
- Facebook Redirect Fixer
Apenas no caso de você considerar instalar / atualizar extensões para ser mais conveniente do que usercripts.