Does anyone here in Australia still use IRC? If so, which server/s do you use?

I noticed AustNet seems to still be around, or at least have a website up (https://www.austnet.org/index.php), but it doesn't seem particularly active?

#IRC #MIRC #Australia
AustNet Chat Network

Welcome to AustNet - Australia's premier Chat Network. Connect with thousands of users across multiple channels and communities.

@aj I've seen Australian folks on both Libera.chat and on OFTC. Maybe still on EFnet but I'm not sure.
@mason @aj I'm in a channel with some Australians on libera
@init6 @mason Which channels, out of curiosity?

I'm playing around with bridging XMPP to IRC, and am keen to find a reasonably active local (or at least in our time zone) channel.
@aj @init6 All free software channels here. Debian, FreeBSD, Slackware, others. The Debian and Debian-derivative channels have the most folks from down there, at a glance. Not a ton but they could help find more.