sS html_mechList(S name) {
  ret ahref(mechListURL(name), htmlencode2(name));
}