While it might be a quick fix to just move over, I am hoping that people take this opportunity to reduce IRCs centralisation on a few providers and push some more modern standards compliant IRCds like Oragono. Libera.chat sadly uses a IRCd that has very few modern additions.