anchor.diff:    const replURL = 'http://' + location.hostname + '/repl/' + urlId;
     const socketURL = 'ws://' + location.hostname + '/repl_ws/' + urlId;
   
  -  const destroyRepl = () => {
  +  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('\n\r\033[31mREPL disconnected\033[0m'); // [1]
  -    //term.writeln('REPL disconnected');
  +    //term.writeln(inGreen('REPL disconnected'));
       return fetch(replURL, { method: 'DELETE' });
     };
   
  
positive.code:       socket.close();
        socket = null;
      }
      destroyRepl()
        .then(() => createRepl(term))
        .then(() => { socket = new SocketMonitor(socketURL, term); })
        .then(() => term.writeln('Ready...'));
  
negative.code:       body: JSON.stringify(form.serializeArray()),
        headers: { 'content-type': 'application/json' }
      };
      term.writeln(inGreen('Connecting to REPL'));
      console.log('creating repl');
      cd.saveCodeFromSyntaxHighlightEditors();
      return fetch(replURL, requestParams);
    };
  
    const replButton = $("#repl-button");
  
    // The SocketMonitor for talking with the REPL on the server.
  