Thanks! I added the domain to x10host, then tried to create a domain pointer; the domain pointer process said "already exists". So I deleted the domain, then tried again to create the domain pointer. That succeeded, and produced a set of DNS records that look to my non-expert eye as if...