You are citing a forum post from over a decade ago. A completely inaccurate one at that. The hdmi specification was developed with hot swapping in mind. There is a dedicated pin for it. I've been doing it since my first hdmi tv in 2005 and ivenever had a problem. Come to think of it what display connector Isn't hot swappable? Ive hot swapped vga, dvi, hdmi, displayport, minidp, rca, svideo, and coaxial. Other than wearing out the port mechanically your post makes no sense.