Maybe you find this interesting as well:

https://www.windytan.com/2023/02/using-hdmi-radio-interferen...