assorted fixes(LSP, AI, etc) - #3065

Check warning on line 826 in src/languageTools/LSPClient.js

sonarqubecloud / SonarCloud Code Analysis

Prefer using an optional chain expression instead, as it's more concise and easier to read.

See more on https://sonarcloud.io/project/issues?id=phcode-dev_phoenix&issues=AZ_Coq-4-CkDYWncg7X0&open=AZ_Coq-4-CkDYWncg7X0&pullRequest=3065