Just in case the bot’s recent posting troubles have been a result of boredom and underwork I’ve set it up with another side gig to do a weekly discussion thread in the [email protected] community. Now posting 2pm every Wednesday.