Change the default irc server to libera.chat
Review Request #675 — Created May 27, 2021 and submitted
Change the default irc server to libera.chat
This seems to make the most sense for users right now as many many channels have migrated away from freenode with many of them moving to libera.
Compile only.
