Nice to see all the developments and new websites. Unfortunately, now my link to the IRC chatlog no longer works. Where can I find it these days?