[wnodes_nameserver] Tidy spec & fix docs.