!7

html {
  ret h1("AI Tasks")
    + ul_htmlEncode(mechList("Public AI Tasks"));
}