Remove IRC from contact and CoC
It's been mostly abandoned since a while already, so we better discard if officially.
Our shared runner will be offline for some hours. Maybe it's a good time to go outside!
It's been mostly abandoned since a while already, so we better discard if officially.