The man page for sshd_config mentions, under the section for the config option "HostKey", that it is possible to have multiple HostKeys, but neglects to tell the reader exactly how those would be configured (i.e. should he list multiple paths on the same line using some separator or should he specify the HostKey directive multiple times)