Hi Sarah, thanks for the email.
I like thunderbolt hotpugging for some dongles like Ethernet was fixed
in kernel version 4.4 via this kernel bug:
https://bugzilla.kernel.org/show_bug.cgi?id=100191
Unfortunately, if you look at comment 28, the thunderbolt-based display
adapters are still not hotpluggable. I don't have one of these to try it
myself, but I'd suggest opening a new bug. Between the above bug and
perhaps this one...
https://bugzilla.kernel.org/show_bug.cgi?id=104971
...I think you have enough to go on! If you do create a bug, please let
us know and we'll track it!
hope this helps
tim