Updated Github publishing and DNS.