@bumi next on the wishlist: decent or a really great display? in the latter case, HP seems to be taking the lead these days. thinkpad got more conservative display choices (note: its thinkpad, not just lenovo! thinkpad is a separate brand and manufacturing process than the rest of say, eg. the ideapad. there is no lenovo x1, just a (lenovo) thinkpad x1). /2

@ginsterbusch thanks a lot! super helpful! I am currently happy on a early 2014 MB Air. But the display is broken now and so I thought this is finally a good moment to switch to a linux machine again. I am doing "normal" development stuff. need to sync some blockchains sometimes but actually don't have special requirements - most valuable is small size and the good battery.
Today I am leaning towards a Dell XPS 13" - a bit cheaper than the thinkpad. any thoughts on that one?