A userscript proxy à la GreaseMonkey