So, I recently built an awesome desktop PC, and my old laptop (which is pretty crappy) has been sitting around. It's this one, an HP 15-G 15.6 Laptop (https://www.amazon.com/HP-15-G-15-6-Laptop-A8/dp/B00LJXXLDK), except it only has a 500GB hdd. I want to put a lightweight version of Linux on it, and was considering Puppy, but don't know which pup to put on it. I was also recommended the beta of Pixel Linux (Made by Raspberry Pi). What lightweight OS should I put. Also, when I'm done with it, could I reinstall windows (I saved the product key) and sell it?