Re: [PATCH] convert-dns-settings: Fix check to prevent doubble-adding the same server