Current "best" Atari 2600 to HDMI solution?

The Atari 2600 has RCA output. Right now, I have a few solutions for playing. I do not have a CRT.

  1. Older TV with coax input and a RCA-to-coax converter. This works OK, but I'd rather not use this "spare" TV (TCL Roku) - I'd rather hook it up to my 4K HDMI (projector), which has no coax input.

  2. RCA-to-coax, into a VCR (which I have) and then RCA component out to this AV-to-HDMI converter to my HDMI projector. I guess I could also go to the RCA input into my Pioneer receiver and then HDMI out (would that work?)

  3. Would this RF demodulator be a one-stop solution?

I care about lag, and upscaling would be nice.

What other considerations are there?

To recap, I don't want to get a CRT, and I don't want to use an old TV with coax input. I want to play the Atari on my 4K projector (even at 1080, obviously).

Thanks for the recommendations.