Thread:DukeLeto7/@comment-25941257-20191101072656/@comment-31763506-20191101101419

I may need to take a look at how to do this because I don't currently use either Discord or IRC.

If the subject is what I suspect it is, be aware that I'm about to change jobs, and expect to have a lot less time to commit to the wiki in the future.