You did say up to 2013. I know a lot of games that were heavily IRC based in coordination, but move on to either Slack or Discord around 2015. Though the link suggests it's still IRC main.