Removed microwave submodule example from manifest.json

Signed-off-by: Andrew Helwer <ahelwer@pm.me>

Author: ahelwer

manifest.json

@@ -5348,91 +5348,6 @@
           ]
         }
       ]
-    },
-    {
-      "path": "specifications/microwave",
-      "title": "Simple Microwave Oven",
-      "description": "Microwave oven with a very simple state space: door open or closed, heat on or off, zero or more seconds remaining.",
-      "sources": [
-        "https://ieeexplore.ieee.org/document/10754605"
-      ],
-      "authors": [
-        "Konstantin Läufer",
-        "George K. Thiruvathukal"
-      ],
-      "tags": [
-        "beginner"
-      ],
-      "modules": [
-        {
-          "path": "specifications/microwave/Microwave.tla",
-          "communityDependencies": [],
-          "tlaLanguageVersion": 2,
-          "features": [],
-          "models": [
-            {
-              "features": [
-                "liveness"
-              ],
-              "mode": "exhaustive search",
-              "path": "specifications/microwave/Microwave.cfg",
-              "result": "success",
-              "runtime": "00:00:01",
-              "size": "small"
-            },
-            {
-              "features": [
-                "liveness"
-              ],
-              "mode": "exhaustive search",
-              "path": "specifications/microwave/MicrowaveChecked.cfg",
-              "result": "safety failure",
-              "runtime": "00:00:01",
-              "size": "small"
-            },
-            {
-              "features": [
-                "liveness"
-              ],
-              "mode": "exhaustive search",
-              "path": "specifications/microwave/MicrowaveChecked2.cfg",
-              "result": "safety failure",
-              "runtime": "00:00:01",
-              "size": "small"
-            },
-            {
-              "features": [
-                "liveness"
-              ],
-              "mode": "exhaustive search",
-              "path": "specifications/microwave/MicrowaveLive.cfg",
-              "result": "success",
-              "runtime": "00:00:01",
-              "size": "small"
-            },
-            {
-              "features": [
-                "liveness"
-              ],
-              "mode": "exhaustive search",
-              "path": "specifications/microwave/MicrowaveSafe.cfg",
-              "result": "success",
-              "runtime": "00:00:01",
-              "size": "small"
-            },
-            {
-              "features": [
-                "liveness"
-              ],
-              "mode": "exhaustive search",
-              "path": "specifications/microwave/MicrowaveStuttering.cfg",
-              "result": "liveness failure",
-              "runtime": "00:00:01",
-              "size": "small"
-            }
-          ]
-        }
-      ]
     }
   ]
 }