If you're going for small(er) brands, another entry to the list is the [Penguin J4](https://www.thinkpenguin.com/gnu-linux/penguin-j4-gnulinux-laptop https://ww

If you're going for small(er) brands, another entry to the list is the [Penguin J4](https://www.thinkpenguin.com/gnu-linux/penguin-j4-gnulinux-laptop https://www.thinkpenguin.com/gnu-linux/penguin-j4-gnulinux-l...), which has a replaceable battery. Speaking of big brands, the Dell XPS developer edition is on paper very Linux compatible, although in pratice, it's (insulting) marketing fluff (I've had one). I second the Thinkpads compatibility (I had several, I think they were T/W).