We’ve never tried using an HDMI to VGA converter with Raspberry Pi. We heard they were expensive and have always just used HDMI out (although DVI would be just as easy). Apparently if you have a VGA ...