[server]
registry_domain = "registry.example.com"