I guess some of https://meta.wikimedia.org/wiki/IRC/Migrating_to_Libera_Chat is now unnecessary, since #Freenode wiped its database. It is likely that many formerly idling users will wind up moving to the #LiberaChat or #OFTC #IRC networks once they go to log in and find out their accounts and rooms no longer exist.