sS botNameForConcepts(Concepts concepts) {
  S home = userHome();
  S name = dbBotName(concepts.programID);
  if (neq(home, actualUserHome()))
    name += " " + quote(home);
  ret name + ".";
}