By doing all the DNS steps upfront, I've found the GitHub DNS checkers to complete more quickly, and then the HTTPS by default can be enabled. Maybe combine (current) steps: 1, 4, 7 — If I get around to it, I'll do a PR.