Heads-up: default branch change

[tomhoule]

I changed the default branch for the repo from master to main. I replaced the branch names in all internal links, so these shouldn't be broken. This still had a couple of unintended side-effects (all PRs were closed...), so please report here if anything else broke. Sorry for the breakage.