Comment by grubles

Considering the "who" was major bitcoin developers and pool operators, yes. #bitcoin-dev currently has 462 nicks and there were probably more during 2013 due to the crazy price increase. Keep in mind that a ton of communication happens on IRC and even bitcoin itself utilized IRC for finding other nodes to connect to.