GreaseMonkey: Use openuserjs.org instead of dead userscripts.org