Ok, good to know. I’ve been using port 80 for desktop apps, because too many users were having issues with 6667. Port 443 might be a good alternative maybe, but I’ll have to check user feedback.
For me, switching to WebSockets just to be able to stick to port 80 is not an option, at least not in the short term.