Sorry, I have a simpler way using https://observablehq.com/@endpointservices/certify-subdomain-ownership now. You don;t need to fork this anymore