IRC is now back up, albeit on a temporary server while our usual one is repaired. Please note that none of your NickServ and ChanServ registrations were carried over to the temporary server, though we expect them to be restored once we're back on our usual server. If you need assistance re-registering a channel or your nickname, please contact staff on IRC.