I love Hover, but I wish there was a way to export DNS records as a text file (and if there is and I am just not very good with their admin UI, please tell me)