Are there usage statistics that support or invalidate the theory that a majority of active users have migrated from Freenode to Libera?
The former has PRIVMSG (message) statistics which show that Libera Chat is considerably more active than freenode despite having less total users (for now, the crossover point is predicted to be the 26th and it's been moving closer and closer for days).