The multiple meanings of "nameserver" and "DNS resolver"