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