Add a way to tag users in Discord

[amoeba]

Brycter had this idea. Say you want to run a bot army and want to be tagged (@) when something shows up in chat about any of those chars. I could build in a $TAG variable that replaces text in the incoming message with a Discord username. It'd need a many-to-one mapping and ingame UI w/ full profile support.

[Schneebs]

This can be done if you go into developer mode in discord, just takes a custom web hook. Not pretty, but doable once you figure out your tag id.

  "WebhookName": "Discord",
  "MessageFormat": "$EVENT <@144271339157585921>",

[amoeba]

Neat, thanks @Schneebs. That might be enough. Maybe simply documenting this would be enough.