No more IRC logs

I'm sorry, but I had to shut down the IRC logs.

I have found no way to make public IRC logs compliant with the privacy policies enforced by the GDPR and its implementations.

The source code of the underlying software is still available from GitHub. Use it based on your own judgement and understanding of the law.

I'd like to thank all contributors, users and visitors for their support.

Moritz Lenz, June 2018, Germany.