Strange: I followed this:
And changed ‘IgnoreLid’ from ‘false’ to ‘true’. After a restart: HDMI didn’t work at all! I unchanged it then (made it ‘false’ again) but still: HDMI doesn’t work at all. I also tested another HDMI cable. I don’t know what happen.