Just a quick test of GitHub's username change redirection system