AFAIKS freenode is not the network of choice anymore: https://mniip.com/freenode.txt So should we move to libera? Or elsewhere? Or drop the chat altogether? Uli