2 ms·

The post mentioned IRC. I haven't used it for ages. Any channel I should join to meet technical greybeards?