Are those cheaper (24$) hdmi to vga converters [1] actually worked for anyone? For me those seem to be fake, too cheap and too small, no any external power.
