And… Sometimes people ask, "Don't you have a Discord channel?", so I decided to create this room too — though I have not quite figured out how to properly distinguish it from Discussion yet.
Partly because my responses tend to be slow, you see (eyeroll).