sS ai_bracketUsersToDiscordAt(S s) {
  ret regexpReplaceIC(s, "\\(user (\\d+)\\)", matcher -> "<@" + matcher.group(1) + ">");
}