8080 is less than 8192. This bug only happens when the port is _higher_ than 8192.

Not for SSH. Common alternate SSH ports are 222 or 2222 which are well below.

443 to pass the stupid corporate firewall. I used that once 15 years ago anyway.

For webservers sometimes, never seen that used for ssh.

< 8192, and that’s mostly the alternate HTTP port.

8080 < 8192