[_carljm]

Not the same headline functionality yet, no. At the moment all we support is diagnostics (some of which may be wrong) and go-to-type-definition. More will come.

[darkteflon]

Thanks for the indulgence. My question was unreasonable, upon reflection, in light of the other information you’ve already provided in the thread.