--- a/src/widgets/Highlighter.js	Tue Oct 22 07:19:03 2024 +0200
+++ b/src/widgets/Highlighter.js	Tue Oct 22 09:53:43 2024 +0200
@@ -9,7 +9,6 @@
       super(player, config);
       var _this = this;
       this.throttledRefresh = _.throttle(function () {
-        console.log("highlighter Refresh");
         _this.update();
       }, 800);
     }
@@ -36,7 +35,6 @@
           );
         }
       );
-      console.log(_this.$.find(".currentAnnotation"));
       return false;
     }