I've just about had it trying to run #Debian on a spare/travel #Lenovo #Ideapad 100S. (Currently having issues with battery not being detected.) I'm almost set investing in another second-hand #Thinkpad (my daily driver). Any recommendations for ethical stores shipping Lenovos sans Windows? I'm only after 4GB RAM, ideally lightweight and small.