I recommend the X1C. I had a first-edition. It was wonderful, and lasted me for five years. Last year I upgraded to X1C5. It is far lighter still, the keyboard is good, it is just a joy to interact with. (debian stable)