HPのType-Cではない方のトラベルドックを買ってしまった。DisplayLinkでHDMI, VGA, GbE, USB 3.0, USB 2.0が出るというやつ。