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 @[email protected]? #RaspberryPi #RaspberryPi4 #HDMI #VGA