[skinfaxi]

Is there any hdmi dongle that can be used to mitigate this?

[nomel]

Would it be as simple as spoofing the EDID manufacturer/product to something generic? I naively assume DCC/CI would all still work?

[BobbyTables2]

I’d certainly expect so.

There are cheap dongles that spoof the EDID for a fixed 4K or HD monitor with fixed settings. Not sure what they do about DCC/CI, might just disconnect it.

[HDBaseT]

Linux mitigates this ;)