Now that I'm aware of https://netsplit.de/networks/top10.php I have been watching the usercount of #Freenode. This still says there are over 25K users. I would expect it to be in the low thousands after they wiped out everyone's accounts and channels.