Comment by chx

Note to anyone curious: the gTLD does not mean this is related to OVH, the domain is open to all OVH customers. https://www.ovh.co.uk/domains/dotovh.xml I didn't know, I looked it up, maybe it's interesting to others as well.