I'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 @Raspberry_Pi? #RaspberryPi #RaspberryPi4 #HDMI #VGA