Changes for pre-categorization

Changes to the script allow projects to be categorized before they have an id or exist on github, by matching on name instead and removing non-matching entries (with a warning in the console).

Also fixes a 301 redirect, a small performance tweak.