I often come up with RGB2HDMI profiles while making videos. I always submit these to the maintainer of the project for includion in releases, but in the meantime I will also upload them here in case ...
Just grab a binary from the bin folder and transfer to your Amiga and run it Note that this tool has only been tested on Amigas with 3.1 ROMs, and it may not work on other versions The default ...