anchor.diff:  'use strict';
   $(() => {
   
  +  const $tabFilenames = $('.tab-filenames');
     const outputTabNames = ['stdout','stderr','status'];
   
     cd.isOutputFile = filename => outputTabNames.includes(filename);
  
positive.code:     tab.addClass('selected');
    };
  
    const $tabFilenames = $('.tab-filenames');
  
    const setupTabFilenameClickHandler = (div) => {
      div.click(() => {
  
negative.code:     });
    };
  
    setupCurrentFilenameTab();
    setupOutputTabs();
  
  });
  </script>
  