github-pages-custom-dns-gotcha conclusion: probably a propagation time issue