

It really looks like you’re being intentionally obtuse here.
I’m in hundreds of discord servers, most of which have 10,000 to 300,000 thousand users each.
I do still use IRC, and I rarely find a server with more than 1000 users, most of which are bots, or users who only send bot commands. A typical ‘active’ channel has less than 10 active chatters over a week. IRC is dead.
Yes, you’re a pedant intentionally missing the point to argue a different definition than the one I’m using