Domain name change for github pages.