Hi!
I agree with Ged.
Kamil Hornicek wrote:
about the IRC bit.. you were there for a long long
time back when you were
more active but I understand that you don't have any urge to care about it
now. what is the point?
The point is, that it's difficult for people outside the 'niche group'
to know what happens here. Please do not suggest to hang on IRC.
Reading it, where useful messages are heavily intermixed with noise,
is painful.