VS Code Extension: Exclude developer information from the README publ…

…ished to the VS Code Marketplace

.github/workflows/nightly_snapshot.yaml

@@ -268,6 +268,13 @@ jobs:
               run: |
                   if [ "$RELEASE_INPUT" != "true" ]; then
                     ../../scripts/prepare_vscode_nightly.sh
+                  else
+                    if grep -q 'lines below this marker are stripped from the release' CMakeLists.txt; then
+                      sed -i '/lines below this marker are stripped from the release/,$ d' README.md
+                    else
+                      echo "Missing strip marker in VS Code Extension README. Either add or fix this script."
+                      exit 1
+                    fi                  
                   fi
             - name: "npm install"
               working-directory: editors/vscode

editors/vscode/README.md

@@ -31,7 +31,9 @@ visible, it is not necessary to save the file.
 
 Issues should be reported in the [Slint issue tracker](https://github.com/slint-ui/slint/labels/vscode-extension).
 
-## Building from source and debugging
+<!-- lines below this marker are stripped from the release -->
+
+## Building from Source and Debugging
 
 The following step will build a local version of the vscode extension and the LSP