[Systemroles] Moving IRC to libera.chat

There has been some discussion about moving the #systemroles IRC channel to libera.chat. I think it is a good idea. Does anyone have an objection?