If I was in sales, I would only use the phrase "HDMI switching" to identify a receiver that does not have the ability to to use the audio stream from HDMI, but in practice, I have seen receivers that are advertised as 'HDMI switching' that are actually 'HDMI
repeating'.
But, looking on Harman/Kardon's web site, it looks like the 445 is HDMI switching, not repeating. Which is weird, as it's a fairly high model.
EDIT: and it appears that Seth has beaten me to the punch...