coscup-matterbot says to #coscup <DennyHuang> libera (re @sean_tw: 是說 coscup 的 irc 還在 freenode 嗎? 還是移到 libera chat 了?)