Revert "Do not publish to OpenVSX until ovsx accepts a version number"

Revive upload to openvsx because the Microsoft-owned Marketplace
prevents users from downloading our extension's vsix
(read https://github.com/VSCodium/vscodium/blob/master/docs/index.md#extensions-marketplace),
making it cumbersome to install vscode-tlaplus into IDEs such as
cursor (https://www.cursor.com).

This reverts commit 9250294.

[Build]

Author: lemmy

.github/workflows/release.yml

@@ -32,7 +32,7 @@ jobs:
     - uses: actions/checkout@v1
     - uses: actions/setup-node@v1
       with:
-        node-version: '18.19'
+        node-version: '22.14.0'
     - name: Get (latest) TLC
       run: wget https://nightly.tlapl.us/dist/tla2tools.jar -O tools/tla2tools.jar
     - name: Get (latest) CommunityModules
@@ -60,3 +60,16 @@ jobs:
     - name: Publish to Marketplace
       run: |
         vsce publish $(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M") --pat "${{ secrets.VSCODE_MARKETPLACE_TLAPLUS_TOKEN }}"
+        mv vscode-ide-1.7.0.vsix vscode-tlaplus-$(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M").vsix
+        ls -lah
+    - name: Upload the file as an artifact
+      uses: actions/upload-artifact@v4
+      with:
+          name: vscode-ide-1.7.0.vsix
+          path: |
+            *.vsix
+    - name: Publish to Open VSX
+      run: |
+        which npx
+        node --version
+        npx ovsx publish -i vscode-tlaplus-$(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M").vsix --packageVersion $(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M") -p "${{ secrets.OPEN_VSX_TOKEN_TLAPLUS }}"