Could you tell us exactly which simple USB HDMI capture device you found that works well in Linux?

I’ve been looking for one myself.