as well as saving the rest of us the gamble of buying wireless HDMI extender without knowing whether it would deliver. He initially tried an HDMI-to-USB dongle and a streaming Raspberry Pi ...