[Coco] RGBtoHDMI

[Mike Delyea]

Has anyone tried the rgbtohdmi found here:

https://github.com/hoglet67/RGBtoHDMI

It requires a Pi Zero and a hat and some software on the hat.
I'd like to try this but I have to wait for our local electronics store to
open up (we are still under lockdown in Ontario).
If you've tried this I'd like to know what problems you might have run into
or if you even got it to work.  I've seen retro videos of people using this
successfully on several different machines, though not the coco or coco 3.
This seems like a good solution for the coco 3s high res screens.