anchor.diff:      const holder = $('<span>');
       $.each(diffs, (_, diff) => {
         const table = $('' +
  -        `<div id="${diff.filename}_diff_div" class="filename_div">` +
  +        `<div id="${diffFilename(diff)}_diff_div" class="filename_div">` +
           '<table>' +
             '<tr class="valign-top">' +
               makeTd('<div class="diff-line-numbers"></div>') +
  -            makeTd(`<div id="diff_file_content_for_${diff.filename}"` +
  +            makeTd(`<div id="diff_file_content_for_${diffFilename(diff)}"` +
                      ' class="diff-sheet"></div>') +
             '</tr>' +
           '</table>' +
  
positive.code:   // - - - - - - - - - - - - - - - - - - - - - - - -
  
    const isTrueFile = (diff) => {
      const filename = diff.filename;
      return !['stdout','stderr','status'].includes(filename);
    };
  
  
negative.code:     if (!inDiffMode()) { return '&nbsp;'; }
      const div = $('<div>', {
        'class': `diff-${cssName}-line-count`,
        'data-filename': diffFilename(diff)
      });
      const lineCount = diff[`${cssName}_line_count`];
      div.append(nonZero(lineCount));
  