[dekhn]

My only suggestion was going to be "get the cheapest HDMI->USB you can find", but I see you also discovered that trick :)