Please do not publish suspected security vulnerabilities in a public issue.
Report vulnerabilities privately to the Doria maintainers through GitHub's private vulnerability reporting for this repository once it is enabled. Include the affected editor or language-server version, reproduction steps, impact, and any known workaround.
Ordinary crashes, incorrect highlighting, completion issues, and non-sensitive diagnostics bugs can use the public issue tracker.