I personally use libera.chat because it’s the most active IRC server out there. is there any other active servers? I found this website to search for different IRC servers https://netsplit.de/networks/