Hello! Due to the recent changes at Freenode [1] we have moved the #bibletime IRC channel to the OFTC IRC network. Please see https://www.oftc.net/ for connection details. Best regards, J [1]: https://lwn.net/Articles/856543/