publish the port too when exchanging hostkeys
exchange the key for a plain hostname within hosts of the same domain name