The error message is really bad, because we don't show it in the VS Code extension. Error: Unexpected error: File "plugin/syntax_extension/PulseSyntaxExtension ...