Force HDMI output on RockPi4

Interesting. I have a Rock 4C+ which, for some reason, just stopped outputting HDMI:

So far nobody’s come up with any ideas on why or how to diagnose it - so would be interested to hear if you find anything…