sS stefansOS_watchDogBotName() {
  ret "Stefan's OS Watch Dog " +
    (differentUserHome() ? " for " + userHome() : "")
    + ".";
}