Yep, we'd go with what they did, except OpenAI embedding vectors are already normalized, so you can just do the dot product.