CONTRIBUTING: Switch IRC servers.