Anyone have thoughts on the #irc channel? It’s archived on slack (deleted, i guess), and looks like it used to be a bridge maybe… I’m fine not preserving on the public site?

Latest version runs in under a half-hour, so that’s good… not quite 4 minutes, but (only) about 6x slower :laughing: