I already deleted his domain, and re-added it once. It didn't help last time.
Back to the original point of this thread, AutoSSL isn't going to work as long as your nameservers don't show up for 50% of the world, but you still may be able to manually install an ssl certificate using our instructions here https://wiki.helionet.org/Installing_a_Let%27s_Encrypt_SSL_Certificate