Changing nameservers on your Hover domain

This is one of those things which is going to be really easy if you've already found how to do it. If, like me, you hadn't found it, then it's not as clear as it might be. The obvious (to my mind) place to do it, the DNS tab of…