Cooking up a new vanity address. How long does it usually take for the DNS check to be successful on your GitHub?