Is there any hdmi dongle that can be used to mitigate this?
Would it be as simple as spoofing the EDID manufacturer/product to something generic? I naively assume DCC/CI would all still work?
There's this:
https://goldilocklabs.com/products/silentglass
And this:
https://git.cuvoodoo.info/kingkevin/board/src/branch/hdmi_fi...
But I'm not sure they would block it, and the latter is not plug-and-play.
I expect it wouldn't be especially hard to make one though.
Linux mitigates this ;)