Then that squares with my mental model of discord being for the gaming community, because imagine one's surprise about coming in to work on a Monday to have som

Then that squares with my mental model of discord being for the gaming community, because imagine one's surprise about coming in to work on a Monday to have something to add to a thread made on Friday but unable to contribute to it. Or, what's this "vacation" stuff I keep hearing about?