anchor.diff:  UnbindGlobal("HELP_SHOW_MATCHES");
   DeclareGlobalFunction("HELP_SHOW_MATCHES");
   InstallGlobalFunction(HELP_SHOW_MATCHES, function( books, topic, frombegin )
  -local   exact,  match,  x,  lines,  cnt,  i,  str,  n;
  +local   exact,  match,  x,  lines,  cnt,  i,  str,  n, res;
   
     # first get lists of exact and other matches
     x := HELP_GET_MATCHES( books, topic, frombegin );
  
positive.code: HELP_VIEWER_INFO.jupyter_online :=
      rec(
           type := "url",
           show := function(url)
               local p,r;
  
               p := url;
  
               for r in GAPInfo.RootPaths do
                   p := ReplacedString(url, r, "https://cloud.gap-system.org/");
               od;
               return rec( json := true
                         , source := "gap"
                         , data := rec( ("text/html") := Concatenation("<a target=\"_blank\" href=\"", p, "\">click here</a>") ) );
           end
          );
  
  HELP_VIEWER_INFO.jupyter_local :=
      rec(
           type := "url",
           show := function(url)
               local p,r;
  
               p := url;
               for r in GAPInfo.RootPaths do
                   p := ReplacedString(url, r, "/");
               od;
               Print("<a target=\"_blank\" href=\"/files", p, "\">click here</a><br/>\n");
           end
          );
  
  DeclareGlobalFunction("HELP_PRINT_URL");
  
  #############################################################################
  ##
  #F  HELP_PRINT_URL( <match> ) . . . . . .  print the url for the help section
  ##
  ##  Based on HELP_PRINT_MATCH
  ##
  ##  <match> is [book, entrynr]
  ##
  InstallGlobalFunction(HELP_PRINT_URL, function(match)
  local book, entrynr, viewer, hv, pos, type, data;
    book := HELP_BOOK_INFO(match[1]);
    entrynr := match[2];
  
negative.code:   elif 1 = Length(exact) or (0 = Length(exact) and 1 = Length(match)) then
      if Length(exact) = 0 then exact := match; fi;
      i := exact[1];
      return GET_HELP_URL(i);
  
    # more than one topic found, show overview in pager
    else
  