proper message test (amending 9252ebcd1fb5);

--- a/src/Tools/VSCode/extension/media/sledgehammer.js	Sun Oct 26 17:12:31 2025 +0100
+++ b/src/Tools/VSCode/extension/media/sledgehammer.js	Sun Oct 26 18:24:39 2025 +0100
@@ -226,7 +226,7 @@
   window.addEventListener('message', event => {
     const message = event.data;
     if (message.command === 'status') {
-      spinner.classList.toggle('loading', message.message !== "Beendet");
+      spinner.classList.toggle('loading', message.message !== "Finished");
     }
     else if (message.command === 'provers') {
       set_history(message.history);