Not renamed, but a number of Freenode channels and admins moved to libera.chat recently due to non-technical IRC drama / politics over "ownership".