Barnaby, to your last point, GitHub actually does do redirects when repositories get moved or renamed. You can read the announcement here. I doubt they do it for historical renames though; only new ones going forward.