I also can't reproduce it with the Thunderbolt Display.

Are the original reproducers of this all using minidisplayport adapters? Or are some able to reproduce using the native HDMI port?