[Tepix]

You can get a noname HDMI in USB 3.0 Capture box from AliExpress for around $50 that will also work.

[schrijver]

Sure, I imagine any kind of HDMI capture solution would work! I was just amused that this gadget I had which is marketed for capturing camera output—for which it frankly doesn’t do a stellar job—worked so well for this specific purpose