diff -r 784c839d4259 -r ac3ec66e9c6d svghmi/svghmi.js
--- a/svghmi/svghmi.js	Fri Feb 12 22:00:07 2021 +0100
+++ b/svghmi/svghmi.js	Sun Feb 14 05:15:13 2021 +0100
@@ -279,7 +279,6 @@
 
         if(persistent_indexes.has(index)){
             let varname = persistent_indexes.get(index);
-            console.log(varname+"="+value+"; max-age=3153600000");
             document.cookie = varname+"="+value+"; max-age=3153600000";
         }