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