They have irc services internally (or at least did when I was there 10-ish years ago).