Inofficial irc channel?

Hi @hyper_ch

there was an irc channel. But it's closed.