> BTW, I tried the IRC channel but it is also quite silent. > > Werner There's an IRC chan? I must have missed it. What server and name?