Due to the recent policies on freenode, we move our irc channel to
libera.chat. Some irc channels on freenode mentioning 'libera.chat' in
their topic were closed forcefully.