Or you can just get a ThinkPad X1 (a generation or two behind) for sub-$1k, install Linux on it, and work in comfort with almost the same weight and battery lif

Or you can just get a ThinkPad X1 (a generation or two behind) for sub-$1k, install Linux on it, and work in comfort with almost the same weight and battery life. I'm really pleased with mine.