Bug: Escape possible formatting in user tags when notified on

Sometimes when a Discord user tag contains formatting marks, this looks funky in bot notifications. Wrap those in backticks to display the username without formatting.