[mulmen]

Sounds like most of the channels moved to the irc.libera.chat network. So the net change in IRC use is less than it looks.