Thoughts
The biggest IRC server is Libera.chat.
Irssi is a very popular terminal IRC client.
The default port for servers in irssi is not the port
used by libera.chat.
It is virtually undocumented, and certainly unclear to me, how to add a server that doesn’t use the default port.