Giges dropping irc servers. Suppose that means I’ll have to do something technical on the replacements rather than lounge around doing nowt?