Play nice with GitHub Pages while we have no CNAME.