IRC is dumb, we're moving to Gitter

Fixes issue #988