Part of a fix for GitHub Pages broken handling of repo changes with CNAMEs