Remove some old GreaseMonkey scripts