Just use that as a substitute. This dock is likewise a little dearer compared to Ugreen dock, Which is the reason I’ve pushed it down to runner-up position.
This is de facto the smallest USB-C dock I’ve noticed, https://socialbuzztoday.com/story3345383/iogear-2-port-full-hd-kvm-switch-with-hdmi-and-usb-for-dummies