1 files changed, 4 insertions, 0 deletions
diff --git a/src/shell.js b/src/shell.js
index 61f2d5cd..850dfd81 100644
--- a/src/shell.js
+++ b/src/shell.js
@@ -44,6 +44,10 @@ if (ENVIRONMENT_IS_NODE) {
   }
 
 } else if (ENVIRONMENT_IS_WEB) {
+  // Warning: We do not override print here, so that you can define it before
+  //          this code runs. However, if you do not define it and it is actually
+  //          called, it will try to print to a printer, and/or give odd errors.
+
   printErr = function(x) {
     console.log(x);
   };