coscup-matterbot says to #coscup <sean_tw> 是說 coscup 的 irc 還在 freenode 嗎? 還是移到 libera chat 了? (re @coscup_matter_bot: <lantw44> 話說這個聊天室的 IRC 轉送功能應該是好的吧，感覺只剩我從 IRC 這邊傳訊息了。)