!7

html {
  ret htitle_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")))
        + "<br>";
    }));
}