In case using Kythe was an option, what was the rationale for not using it? One major limitation of Kythe is handling different versions. For example, Kythe ca

In case using Kythe was an option, what was the rationale for not using it? One major limitation of Kythe is handling different versions. For example, Kythe can produce a well connected index of Stackage, but a Hackage would have many holes (not all references would be found, as the unique reference name needs the library version). How Glean handles different library versions? EDIT: the language agnostic view is already mentioned.