Just letting you know that my older Dell xps 13 (9343) is for sale. It is an i5 with 4 gb RAM and a 256 gb SSD. I've had it for 3 1/2 years, but I only used it when traveling, so even the battery is like new (92% of original capacity). Windows 10 is installed, but I run Ubuntu on it, and I have an Arch partition on it that runs like a champ. It's in mint condition; I'm only selling it because I replaced it with a newer 2 in 1 version. Let me know if you're interested.
Would you accept a trade of an old Toshiba laptop? ;D