I'm disappointed it seems nobody thought of the "Don't go to irc.libera.chat, freenode.net is much better!"-Topic joke yet.