New domain for user pages: *.github.com is now *.github.io
Pull in changes to refer to user pages with *.github.io