!7

html {
  ret h1("AI Tasks") +
    ul(map(mechList("Public AI Tasks"), name ->
      ahref(rawLink(urlencode(name), htmlEncode2(name)))));
}