[microtonal]

Yes, I never said so. I was suggesting to use DP-Alt mode instead (if they have a MacBook without HDMI, even if they had, I'd still prefer DP-Alt).