comment out debugging line

www/_socket/text-patcher.js

@@ -32,7 +32,7 @@ var applyChange = function(ctx, oldval, newval) {
     if (newval.length !== commonStart + commonEnd) {
         if (ctx.localChange) { ctx.localChange(true); }
         ctx.insert(commonStart, newval.slice(commonStart, newval.length - commonEnd));
-        console.log("insert: " + newval.slice(commonStart, newval.length - commonEnd));
+        //console.log("insert: " + newval.slice(commonStart, newval.length - commonEnd));
     }
 };