I don't know, at least here (Europe) VGA has pretty much died out in all but legacy applications. The true pro format would be SDI using BNC connectors.
But I guess HDMI is going to be replaced by USB-C in the long run. Especially since the "everything-connector" also doing Video makes more sense than the video-connector also doing everything.