I have a set-top box with HDMI output and want to record some programs from it on a Raspberry Pi (model 3 or 4).
I found some HDMI to USB 3.0 converters with HDMI \'l