Support navigation from diagnostic names in analysis_options.yaml to their documentation pages

[bwilkerson]

The analysis_options.yaml file allows diagnostics to be mentioned. We should allow navigation from the name of a diagnostic to the documentation page for the diagnostic.

[asashour]

Would this be handled in analysis.navigation or analysis.errors, or something new, and what about LSP?

I am trying to understand: analysis.navigation returns AnalysisNavigationParams with targets and files, but what is need is something like AnalysisError with the url and location. However, it is not actually an "Error".

[bwilkerson]

In the legacy protocol we'd likely want to add this support to both the analysis.navigation request and the analysis.navigation notification. I don't know whether adding support to either of these would actually work in IntelliJ, though, because the protocol assumes a file path and doesn't really support URLs. It's likely that we'd need to add a new protocol (or extend the current protocol), and that would require support in the plugin. I suspect that we won't put that kind of effort into it.

For LSP, I suspect that we'd want to support this using textDocument/documentLink. That protocol already supports URLs and appears to be made for exactly this kind of thing.