known_hosts

[Alex Bligh]

Is there a good reason why known_hosts stores the address of the server
but not the port? This is annoying when one host is running more than
one instance of openssh with different ports and different keys, or
(less tractably) when a NAT in front of multiple hosts multiplexes
which host is connected to by port number. I see no immediate security
implication in fixing this, but am I missing something?

-- 
Alex Bligh