Comment by 0x0

I can't reproduce this. macOS 10.15.4, ssh'ing to a very high (5digit) port with a hostname no problems.