I have confirmed that the patch linked from the debian bug (herein attached) works with my multiple UserKnownHostsFile entries.
I have confirmed that the patch linked from the debian bug (herein attached) works with my multiple UserKnownHostsFile entries.