Some time ago – I forget exactly when – I set up IRC (internet relay chat) on this site, but it wasn’t very reliable so I didn’t promote it or do anything with it. But last …