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