anchor.diff:      const that = this;
       this.socket = new WebSocket(this.url);
       this.socket.onopen = function(_event) {
  -      that.terminal.greenWriteln('Opening a WebSocket to the REPL');
  +      that.terminal.greenWriteln('Opening WebSocket');
         that.terminal.attach(that.socket);
         that.terminal._initialize = true;
       };
  
positive.code:       }
      };
      this.socket.onerror = function(event) {
        this.terminal.greenWriteln('Error connecting to REPL');
      };
    };
  
    WebSocketMonitor.prototype.close = function() {
      this.terminal.greenWriteln('Closing WebSocket');
      this.terminal.detach(this.socket);
      this.socket.close(1000, 'User closed the REPL');
    };
  
    //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  
negative.code:   const resumeButton = $('.resume-button', replPage);
    const kataId = "<%= @kata.id %>";
    const replUrl = () => `${location.hostname}/repler/${kataId}-${sessionId}`;
    let sessionId = null;
  
    cd.openReplPage = () => {
  