diff -r 59a855c17aa6 -r 901c89c0cc08 svghmi/svghmi.js
--- a/svghmi/svghmi.js	Thu Mar 12 13:14:38 2020 +0100
+++ b/svghmi/svghmi.js	Thu Mar 12 13:15:54 2020 +0100
@@ -82,7 +82,6 @@
     if(current_subscribed_page != current_visible_page){
         switch_visible_page(current_subscribed_page);
     }
-    console.log("no page switch");
     apply_updates();
     requestAnimationFrameID = null;
 }