Alasdair AllanI've just found out we make a micro-HDMI to VGA cable. Apparently, we did a run for a customer and we've still got some. We should sell this? Would folks want this for their @[email protected]? #RaspberryPi #RaspberryPi4 #HDMI #VGA
Skrrp 
@aallan @Raspberry_Pi I had to use a micro-HDMI -> HDMI converter block, then a HDMI -> VGA cable. I'm personally unlikely to buy this cable now, but would have if it was available back then.