“At Glean, there is not a significant observed difference in productivity between experienced engineers who are heavy AI tool users and those who are not.”