Userscripts.org is currently only available on the 8080 port.

This is a time people are more likely to convert, so update the importer
scripts. We can easily rollback the changes if the site returns.