Comment by drv

"IRC" is a bit of a misnomer; it looks like it's web sockets connecting to a custom server, unless I missed something.