Replace ADN's HTML verification by DNS TXT.