(I am still in this channel, by the way. Somehow my Efabless Slack account and my open-source-silicon Slack account get conflated and the channels are getting copied into both accounts, which is really confusing. I guess there is some obvious use case for Slack workspaces to access other Slack workspaces, but as far as I can see, it's a net negative. . .)