Userscripts.org is alive on port 8080, but this is not ideal. We need some sort of new place for greasemonkey scripts. Any good places? Any strong successor?