static S dbBotStandardName() {
  S home = userHome();
  S name = dbBotName(getDBProgramID());
  if (neq(home, actualUserHome()))
    name += " " + quote(home);
  ret name + ".";
}