My dns entries end in .local, how do I publish txt records for my domain?
You can not use your local dns server to publish txt records for your internet domains. You will have to use the dns server that serves your domain to the internet. Contact your dns provider and/or your hosting company, or look in the webpanel your dns/domain hoster provides.