Hello,

Amazing progress

Can someone tell me whether we have a new IRC channel? The original one posted on the OP does not have anyone in it.

Cheers