irc.twitch.tv doesn’t point to websockets - it’s just a name which points to a set of hosts that can serve IRC connections. DNS itself says nothing about which ports on these hosts have which capabilities - in our case (along with most IRC servers) we officially support IRC on port 6667.