It seems like hot replug works but with a big delay (in minutes) i.e if you unplug usb-c/tb adapter (with USB device directly attached to it in this example), it won't mount back when replugged. But if you wait a couple a minutes then plug it back, it works and usb devices mounts again. Weird.
I wonder why it's not on Readme. I was sure hot replug doesn't work for me, until i red this.
Heard about this kext (seems to date a bit now): IOElectrify
I wonder why IOElectrify kext has just one mention on this thread.
I found
this mention of people using IOElectrify to enable TB3 hotplug on XPS 9570
Couldn't get TB3 working with IOElectrify on 9560 at all.
But when i tried to use IOElectrify with SSDC-TYPC, it finally got me hot replug working (instantly, without delay)
I can finally replug my 4K montor, power adapter, ethernet, soundbar, keyboard and mice with single cable without reboot!
It still breaks if you put laptop to sleep while USBC dock is plugged (just disable sleep for power adapter)
And it still requires USBC dock to be plugged at boot (or just plug it while laptop is sleeping and wake it)