anchor.diff:  
     // Create and configure the terminal
     var terminalContainer = document.getElementById('repl-terminal-container') ;
  +  console.log(`terminalContainer=${terminalContainer}`);
   
     Terminal.applyAddon(attach);
     Terminal.applyAddon(fit);
     Terminal.applyAddon(fullscreen);
     Terminal.applyAddon(search);
     Terminal.applyAddon(winptyCompat);
  +
  +  console.log(`Terminal.applyAddOn() calls made`);
   
     var term = new Terminal({
       cursorBlink: true, // optionElements.cursorBlink.checked,
  
positive.code:     </button>
  </div>
  
  <script type="text/javascript">
  'use strict';
  $(function() {
  
    // SocketMonitor watches the websocket that we use to talk to the server.
    // If it goes down outside of our control, it silently re-opens the socket.
  
negative.code: 
  });
  
  //--></script>
  