Yup, they sure did. Although I think the "Mr. Spock" meme has transcended the original actor's jewishness after all the intervening decades. In any case, it's true, many aspects of Trek are kiked but I like the whimsy of giving that name to an AI operating in the whole 'space' context. Going to let this one slide.