anchor.diff:      Terminal.applyAddon(search);
       Terminal.applyAddon(winptyCompat);
       $(`#${cssId}`).show();
  -    term.open(terminalContainer);
  -    term.winptyCompatInit();
  -    term.fit();
  -    term.focus();
  -    return term;
  +    terminal.open(terminalContainer);
  +    terminal.winptyCompatInit();
  +    terminal.fit();
  +    terminal.focus();
  +    return terminal;
     };
   
     //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  -  const urlId = "<%= @kata.id %>";
  -  const replURL = 'http://' + location.hostname + '/repler/' + urlId;
  -  const socketURL = 'ws://' + location.hostname + '/repler_ws/' + urlId;
  +  const id = "<%= @kata.id %>";
  +  const replUrl = 'http://' + location.hostname + '/repler/' + id;
  +  const socketUrl = 'ws://' + location.hostname + '/repler_ws/' + id;
   
     const inGreen = (s) => {
       const greenCode = '\u001b[32m';
  
positive.code:       body: JSON.stringify(form.serializeArray()),
        headers: { 'content-type': 'application/json' }
      };
      return fetch(replURL, requestParams);
    };
  
    const replButton = $("#repl-button");
  
    // The SocketMonitor for talking with the REPL on the server.
    var socket = null;
  
    replButton.click(() => {
      const term = createTerminalIn('repl-terminal-container');
      if (socket !== null) {
        socket.close();
        socket = null;
      }
      destroyRepl(term)
        .then(() => createRepl(term))
        .then(() => { socket = new SocketMonitor(socketURL, term); })
        .then(() => term.writeln('Ready...'));
    });
  
    // TODO: How can we arrange for destroyRepl() to be called when the page closes?
  
negative.code:   //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    const createTerminalIn = (cssId) => {
      const terminalContainer = document.getElementById(cssId) ;
      const terminal = new Terminal({
        cursorBlink: true, // optionElements.cursorBlink.checked,
        scrollback: 10, // parseInt(optionElements.scrollback.value, 10),
        tabStopWidth: 10 // parseInt(optionElements.tabstopwidth.value, 10)
  