Phase out devcoin.org for DNS seeds in favour of dvcnode.org