[extension-control] update with state from 2024-08-29

Author: filiptronicek

extension-control/extensions.json

@@ -335,6 +335,20 @@
                 "id": "fill-labs.dependi",
                 "displayName": "Dependi"
             }
+        },
+        "alygin.vscode-tlaplus": {
+            "disallowInstall": true,
+            "extension": {
+                "id": "tlaplus.vscode-ide",
+                "displayName": "TLA+ (Temporal Logic of Actions)"
+            }
+        },
+        "alygin.vscode-tlaplus-nightly": {
+            "disallowInstall": true,
+            "extension": {
+                "id": "tlaplus.vscode-ide",
+                "displayName": "TLA+ (Temporal Logic of Actions)"
+            }
         }
     },
     "migrateToPreRelease": {