[1] https://www.amazon.com/Dell-DA100-Universal-Adapter/dp/B00O0...
[1] https://www.amazon.com/Dell-DA100-Universal-Adapter/dp/B00O0...
On the negative, Windows 10 HiDPI scaling is still flaky, especially if you have a 1080p external monitor plugged in (then it's essentially broken), so I'd recommend skipping the 4K version.
Also, you might want to set aside a few hours for driver upgrades, unless they've updated the install image since April. Both the WiFi, graphics and USB drivers that shipped on my machine were really flaky.
I haven't tried dual booting it with Linux yet, but it runs a Linux VM just fine. The heaviest application I run on it is probably AutoCAD, which makes it struggle sometimes, especially on battery power.
You might want to also look at the HP EliteBook lineup, I've heard that they're good solid machines, perhaps with less fuss out of the box.
However, it is a bit too large for a bike commuter and I'll be selling it on eBay shortly.