Our current documentation for the ty LSP is very high level. Ideally, we'd have a place to document some of the "finer points" of the LSP behavior.

This PR is a good example. It includes documentation for an interesting point of behavior for our Go To Definition implementation that is worth documenting somewhere. But that page feels too high level for something that is so "in the weeds."