I think it's also admirable how quickly libera.chat has grown into a network of over a quarter of freenode's size (26%).
freenode.net users as of 18:48 CEST 2021-05-25:
> Current global users 69472, max 85052
libera.chat users as of 15:06 CEST, 2021-05-26:
> Current global users 18337, max 18338
In particular, it's larger than OTFC now. Data as of 15:16 CEST, 2021-05-26:
> Current global users: 18100 Max: 18101
As for the trends, they look good for libera.chat and bad for freenode. On 2021-05-20, the values were as following for libera.chat:
> Current global users 11126, max 11130
And as following for freenode.net:
Current global users 77159, max 83476
So freenode lost 7.6 thousand users (9.9%) while libera gained 7.2 thousand users (39%) within the last couple of days.