tree-sitter-tlaplus is used at run time in 1 crate.

Depender (with downloads and own rev deps) tree-sitter-tlaplus version
200 tlauc ^1.5.0