What does this esteemed brain trust recommend as the best options for an inexpensive ultralight to run Linux? Probably an 11 or 13" screen, thin, and light weight (i.e. at or under 3 pounds)