[edwardkmett]

This has been the major reason why #haskell didn't try to move more forcefully.

We'd like to get some of the old logging bots moved over, etc.

We have some number of users who connect from tor, from matrix, or from webchat that simply can't move right now. These are things being looked at from the libera.chat side, but that work isn't done.

I very much value those users being able to continue to ask and get their questions answered.

That said, we used to have like 3-4 server ops lurking in the channel, and 15-16 channel ops that were active on the server. We just don't any more. This makes me rather concerned from a spam perspective.

On the other hand, there are < 80 people in the channel now, so perhaps spam is less of an issue now that we're a much smaller target.