github.io url changes (see https://github.com/blog/1452-new-github-pages-domain-github-io)