!7

html {
  ret h1("AI Tasks") +
    ul(map(mechList("Public AI Tasks"), name -> {
      S examplesList = "Examples: " + name;
      LS examples = mechList(examplesList);
      ret ahref(rawLink(urlencode(name)), htmlEncode2(name))
        + (empty(examples) ? "" : ul(ahref(neatMechListURL(examplesList), "Examples")));
    }));
}