So looks like it's down to Dell XPS13 and Lenovo X1 Carbon as the most recommended solutions. Both look light and seem to have decent Linux driver support. Should have mentioned I want at least one USB A as well (both do). Anyone have an idea on how battery life compares?https://twitter.com/Chris_Gammell/status/999683611979862016 …
Eew. I want at least 4 USB-A, no USB-C. C is utterly useless for the main things ports are useful for on laptops: slim-profile thumb drives, wireless mice, etc.