IIRC the bit-banged RP2040 DVI implementation plays fast and loose with the spec in places, so it might not qualify for HDMI certification anyway even if they w

IIRC the bit-banged RP2040 DVI implementation plays fast and loose with the spec in places, so it might not qualify for HDMI certification anyway even if they were willing to pay. It's generally close enough to work but there's compatibility issues with some monitors.