Rock-4C+ HDMI stopped working

Somebody else having trouble with the HDMI output from a Rock Pi 4:

maybe more:

https://forum.radxa.com/t/rock-pi-4c-plus-defective