USB-Cのドックで、マイクロHDMIがついたやつって無いんですかね？
スタンダードHDMIポートがついてるせいで無駄に大きくなってるような
マイクロHDMI-スタンダードなHDMIってケーブルだとケーブル自体もコンパクトなので荷物が小さくて便利なのですが
そう言うドックが見当たりませんね