sS discordAtPlusID(long userID) {
  ret userID == 0 ? "unknown person" : "<@" + userID + "> (" + userID + ")";
}