static S defaultBotName() {
  ret getProgramTitle() + ".";
}