Starting this thread to contain various posts I will make concerning development, releases, uses, etc. of the TLA+ tree-sitter grammar. Consult the repo's README for an overview of the project, or watch my TLA+ Conf 2021 talk where I explain its capabilities and provide some demos.If you have questions about this project, feel free to ask them in this thread or the repo's discussions tab.If you're interested in experiencing the benefits of this project as an end user of TLA+, it is currently available in the tree-sitter plugin for Neovim. PlusCal support is not yet implemented but is being worked on by Vasiliy Morkovkin.Andrew