anchor.diff:      if PositionSublist(i, tok) = 1 then
         Print(i, "\n");
       fi;
  -  od; 
  +  od;
   end);
   
   # This is a really ugly hack, but at the moment
  
positive.code: SetUserPreference("browse", "SelectHelpMatches", false);
  SetUserPreference("Pager", "cat");
  SetUserPreference("PagerOptions", "");
  
  
  
negative.code: # into a temporary file and then exec dot on it.
  BindGlobal("JupyterDotSplash",
  function(dot)
      local fn, fd;
  
      fn := TmpName();
      fd := IO_File(fn, "w");
      IO_Write(fd, dot);
      IO_Close(fd);
  
      Exec("dot","-Tsvg",fn);
  
      IO_unlink(fn);
  end);
  
  # The following are needed to make the help system
  