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?