anchor.diff:        body: JSON.stringify(form.serializeArray()),
         headers: { 'content-type': 'application/json' }
       };
  -    //term.writeln('\033[32mConnecting to REPL\033[0m'); // [1]
  -    term.writeln('Connecting to REPL');
  +    term.writeln(inGreen('Connecting to REPL'));
       console.log('creating repl');
       cd.saveCodeFromSyntaxHighlightEditors();
       return fetch(replURL, requestParams);
     };
   
  -  // [1]
  -  //SyntaxError: "0"-prefixed octal literals and octal escape sequences are deprecated; for octal literals use the "0o" prefix instead
     const replButton = $("#repl-button");
   
     // The SocketMonitor for talking with the REPL on the server.
  
positive.code: 
      this.socket = new WebSocket(url);
  
      this.socket.onopen = function(event) {
        console.log('socket opened');
        terminal.attach(that.socket);
        terminal._initialize = true;
  
negative.code:   const replURL = 'http://' + location.hostname + '/repl/' + urlId;
    const socketURL = 'ws://' + location.hostname + '/repl_ws/' + urlId;
  
    const inGreen = (s) => {
      const greenCode = '\u001b[32m';
      const resetCode = '\u001b[0m';
      return `${greenCode}${s}${resetCode}`;
    };
  
    const destroyRepl = (term) => {
      // Request that the REPL be terminated.
      // Returns the promise for the DELETE request.
      console.log('destroying repl');
      //term.writeln(inGreen('REPL disconnected'));
      return fetch(replURL, { method: 'DELETE' });
    };
  
  