When we rollout websockets to all of our web users, we’ll likely have port 80 running websockets and ports 443 (which generally doesn’t have firewall issues) and 6667 running IRC.
In the longer-term (when we release ports which use secure connections) this will change (as port 443 will likely run secure websockets). We’ll keep in mind potential firewall issues as we make these changes.