anchor.diff:      // Called from filenames. filename can be
       //  o) a true filename (but never '+REPL')
       //  o) 'stdout', 'stderr', 'status'
  -    if ($selectedTab().text() === $replTab().text()) {
  +    if ($selectedTab().text() === tabs.repl().text()) {
         cd.kata.repl.close();
       }
       const id = cd.isOutputFile(filename) ? `radio_${filename}` : 'current_filename';
  
positive.code: 'use strict';
  $(() => {
  
    cd.isOutputFile = filename => ['stdout','stderr','status',$replTab().text()].includes(filename);
  
    const tabs = cd.kata.tabs;
  
  
negative.code:     // By default the [repl] is hidden.
      const inDev = true;
      if (options.repl !== 'on' && !inDev) {
        tabs.repl().hide();
      }
    };
  
  