RGB to HDMI Bodge
In April 2020, I added these three wires to my RGBtoHDMI board to allow programming of the firmware to be done through updates loaded onto the Raspberry Pi SD card, instead of having to re-programme the flash chip via an external link.
