Grok seems to have been open-sourced as Kythe, and I suspect it was significantly nerfed like other things they've released (e.g. bazel)

Additionally, it looks like Kythe was never fully stabilized, and there's been no widespread usage of it. It's shovelware.

I don't think you should blame MS for not citing an internal tool that they never properly released.