HDMI to VGA adapter
  * https://www.aliexpress.com/item/Hot-HDMI-to-VGA-Adapter-Digital-to-Analog-Audio-Video-Converter-Male-to-Female-Converter-Adapter/32860118617.html

  * Approved by Crispin