As mentioned before, DisplayLink works over USB3.0 connection. Hooray!
Except that the current driver is hogging unfortunate amounts of CPU. ~2% when nothing’s happening, but up to 80% when switching windows. I noticed it because of harsh lag. I mean, my computer isn’t the newest on the block, but it still should be pretty awesome. Typing in an online form should be trivial, not something that causes delays…. but it wasn’t.
Getting frustrated with the lag, I’ve uninstalled the driver for now. Life immediately sped up.