While it is certainly nice to see that there’s much more activity there than there was on the predecessor IRC channel, the volume there make it hard to follow the channel. I’d like to collect views of others in this regard, and - if so desired - hash out possible approaches towards improvement.