[CHORE]: Discord - link to channel

[hesreallyhim]

Description of changes

This is just closing the loop on #4130 , which seems to have gotten out of sync with my local branch, so the revision requests I was responding to weren't getting pushed up, so I'll just close that one. Also, I noticed that in the meantime @jeffchuber already merged a PR #4286 with my changes, the only difference being that this adds a link to the channel. 🤷

So this is a really trivial PR, just making it so that I can close out the other one and maybe you like this minuscule enhancement.
@jairad26

[github-actions]

Reviewer Checklist

Please leverage this checklist to ensure your code review is thorough before approving

Testing, Bugs, Errors, Logs, Documentation

• Can you think of any use case in which the code does not behave as intended? Have they been tested?
• Can you think of any inputs or external events that could break the code? Is user input validated and safe? Have they been tested?
• If appropriate, are there adequate property based tests?
• If appropriate, are there adequate unit tests?
• Should any logging, debugging, tracing information be added or removed?
• Are error messages user-friendly?
• Have all documentation changes needed been made?
• Have all non-obvious changes been commented?

System Compatibility

• Are there any potential impacts on other parts of the system or backward compatibility?
• Does this change intersect with any items on our roadmap, and if so, is there a plan for fitting them together?

Quality

• Is this code of a unexpectedly high quality (Readability, Modularity, Intuitiveness)

[jeffchuber]

thank you! will get this deployed. good change