Let me share a secret I've been keeping for a couple of months now. 😁
See this old thing? It's old corporate AV gear from about a decade ago. The sort of thing that is getting pulled out of board rooms and tossed out currently.
https://halltechav.com/product/sc-vhd-hdmi/
The secret ... the VGA input will sync at 15kHz. You can slam (for example) an Amiga 500 RGB output directly into one, along with the audio, and get pretty good HDMI out the other end. There are quite a few on eBay in the USA right now for not a lot of money.
Might be worth a look for some people!