Repository navigation

Update Language Server mention and update related links - #618

Merged

redcatbear merged 2 commits into

mainfrom

documentation/improve-editor-support-docs

Oct 2, 2026

Commits on Sep 30, 2026

Mentioned Language Server by [@fgorke](https://github.com/fgorke) and updated links.
redcatbear
committed
2cc71bd

Commits on Oct 1, 2026

Merge branch 'main' into documentation/improve-editor-support-docs
redcatbear
authored
13872e8