TLA+ language support for Visual Studio Code - View it on GitHub