TreePPL Support in VS Code To use the extension, clone the repository into your ~/.vscode/extensions directory. Features: Syntax highlighting