Patrick, why not move to freenode irc. That oftc is complete failure. We can at least connect to freenode via vpn.
Being discussed here: https://phabricator.whonix.org/T361